Volver a los detalles del artículo A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements Descargar Descargar PDF