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