1.
Rocha C, Meseguer J. A rewriting decision procedure for Dijkstra-Scholten’s syllogistic logic with complements. Rev. colomb. comput. [Internet]. 1 de diciembre de 2007 [citado 29 de marzo de 2024];8(2):101-30. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1038