%0 Conference Paper %1 conf/tableaux/Patel-Schneider00 %A Patel-Schneider, Peter F. %B TABLEAUX %D 2000 %E Dyckhoff, Roy %I Springer %K dblp %P 72-76 %T TANCS-2000 Results for DLP. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2000.html#Patel-Schneider00 %V 1847 %@ 3-540-67697-X

@inproceedings{conf/tableaux/Patel-Schneider00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Patel-Schneider, Peter F.}, biburl = {https://www.bibsonomy.org/bibtex/297be9a9d8a0c2f99e3f8ff8a05f33670/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2000}, editor = {Dyckhoff, Roy}, ee = {https://doi.org/10.1007/10722086_8}, interhash = {7aec124158e52eab622f509f975a5da9}, intrahash = {97be9a9d8a0c2f99e3f8ff8a05f33670}, isbn = {3-540-67697-X}, keywords = {dblp}, pages = {72-76}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:49:54.000+0200}, title = {TANCS-2000 Results for DLP.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2000.html#Patel-Schneider00}, volume = 1847, year = 2000 }