Rocha, C., & Meseguer, J. (2007). A rewriting decision procedure for Dijkstra-Scholten’s syllogistic logic with complements. Revista Colombiana De Computación, 8(2), 101–130. Recuperado a partir de https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1038