%0 Conference Paper %1 conf/issac/CantoneC93 %A Cantone, Domenico %A Cutello, Vincenzo %B ISSAC %D 1993 %E Bronstein, Manuel %I ACM %K dblp %P 105-110 %T Decision Procedures for Stratified Set-Theoretic Syllogistics. %U http://dblp.uni-trier.de/db/conf/issac/issac93.html#CantoneC93 %@ 0-89791-604-2

@inproceedings{conf/issac/CantoneC93, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cantone, Domenico and Cutello, Vincenzo}, biburl = {https://www.bibsonomy.org/bibtex/29d367bbc68ccfb9edbcc641e4fccdd63/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/1993}, editor = {Bronstein, Manuel}, ee = {https://doi.org/10.1145/164081.164101}, interhash = {3f8b792c7071ed3c9238f092ea724120}, intrahash = {9d367bbc68ccfb9edbcc641e4fccdd63}, isbn = {0-89791-604-2}, keywords = {dblp}, pages = {105-110}, publisher = {ACM}, timestamp = {2018-11-07T15:51:07.000+0100}, title = {Decision Procedures for Stratified Set-Theoretic Syllogistics.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac93.html#CantoneC93}, year = 1993 }