ROCHA, C.; MESEGUER, J. 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://revistas.unab.edu.co/index.php/rcc/article/view/1038. Acesso em: 23 abr. 2024.