Rocha, C.; Meseguer, J. A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic With Complements. Rev. colomb. comput. 2007, 8, 101-130.