%0 Conference Paper %1 conf/iclp/CantoneC93 %A Cantone, Domenico %A Cannata, Rosa Ruggeri %B ICLP Workshop on Logic Programming with Sets %D 1993 %E Omodeo, Eugenio G. %E Rossi, Gianfranco %K dblp %T Proving Set-Theoretic Formulae by a Tableaux Method. %U http://dblp.uni-trier.de/db/conf/iclp/iclp93-w5.html#CantoneC93

@inproceedings{conf/iclp/CantoneC93, added-at = {2013-12-02T00:00:00.000+0100}, author = {Cantone, Domenico and Cannata, Rosa Ruggeri}, biburl = {https://www.bibsonomy.org/bibtex/28b5c120f8536d6290518ee60b2f88d2a/dblp}, booktitle = {ICLP Workshop on Logic Programming with Sets}, crossref = {conf/iclp/1993w5}, editor = {Omodeo, Eugenio G. and Rossi, Gianfranco}, interhash = {a9caa368a93e3b034abf936dd30d1ce8}, intrahash = {8b5c120f8536d6290518ee60b2f88d2a}, keywords = {dblp}, timestamp = {2013-12-03T11:35:24.000+0100}, title = {Proving Set-Theoretic Formulae by a Tableaux Method.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp93-w5.html#CantoneC93}, year = 1993 }