Rocha, Camilo, y José 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://revistasunabeduco.biteca.online/index.php/rcc/article/view/1038.