A Rewriting Decision Procedure for Dijkstra-Scholten s Syllogistic Logic with Complements

Camilo Rocha, José Meseguer. A Rewriting Decision Procedure for Dijkstra-Scholten s Syllogistic Logic with Complements. Revista Comlombiana de Computación, 8(2):101-130, 2007. [doi]

Abstract

Abstract is missing.