Rocha, C., y J. Meseguer. «A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic With Complements». Revista Colombiana De Computación, vol. 8, n.º 2, diciembre de 2007, pp. 101-30, https://revistas.unab.edu.co/index.php/rcc/article/view/1038.