C. Rocha y J. Meseguer, «A rewriting decision procedure for Dijkstra-Scholten’s syllogistic logic with complements», Rev. colomb. comput., vol. 8, n.º 2, pp. 101–130, dic. 2007.