Rocha, C. y Meseguer, J. (2007) «A rewriting decision procedure for Dijkstra-Scholten’s syllogistic logic with complements», Revista Colombiana de Computación, 8(2), pp. 101–130. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1038 (Accedido: 19 abril 2024).