ROCHA, Camilo; MESEGUER, José. A rewriting decision procedure for Dijkstra-Scholten’s syllogistic logic with complements. Revista Colombiana de Computación, [S. l.], v. 8, n. 2, p. 101–130, 2007. Disponível em: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1038. Acesso em: 23 ago. 2025.