Rocha, C. y Meseguer, J. 2007. A rewriting decision procedure for Dijkstra-Scholten’s syllogistic logic with complements. Revista Colombiana de Computación. 8, 2 (dic. 2007), 101–130.