Rocha, Camilo, y José Meseguer. 2007. «A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic With Complements». Revista Colombiana De Computación 8 (2):101-30. https://revistas.unab.edu.co/index.php/rcc/article/view/1038.