Proving Set-Theoretic Formulae by a Tableaux Method.
Domenico Cantone, Rosa Ruggeri Cannata
VenueBICLP
Year1993
ProceedingsICLP Workshop on Logic Programming with Sets
DBLP recordconf/iclp/CantoneC93 ↗
Browse the full ICLP paper archive.
Domenico Cantone, Rosa Ruggeri Cannata
Browse the full ICLP paper archive.