%0 Conference Paper %1 conf/tableaux/CantoneZ99 %A Cantone, Domenico %A Zarba, Calogero G. %B TABLEAUX %D 1999 %E Murray, Neil V. %I Springer %K dblp %P 97-112 %T A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux99.html#CantoneZ99 %V 1617 %@ 3-540-66086-0

@inproceedings{conf/tableaux/CantoneZ99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Cantone, Domenico and Zarba, Calogero G.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f62b8cd81c021ac0a56d1ce263c80559/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/1999}, editor = {Murray, Neil V.}, ee = {https://doi.org/10.1007/3-540-48754-9_12}, interhash = {5c3329b9bba2caf58771b050038e76a8}, intrahash = {f62b8cd81c021ac0a56d1ce263c80559}, isbn = {3-540-66086-0}, keywords = {dblp}, pages = {97-112}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:57:05.000+0200}, title = {A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux99.html#CantoneZ99}, volume = 1617, year = 1999 }