%0 Conference Paper %1 conf/cade/KlingenbeckH94 %A Klingenbeck, Stefan %A Hähnle, Reiner %B CADE %D 1994 %E Bundy, Alan %I Springer %K dblp %P 708-722 %T Semantic Tableaux with Ordering Restrictions. %U http://dblp.uni-trier.de/db/conf/cade/cade94.html#KlingenbeckH94 %V 814 %@ 3-540-58156-1

@inproceedings{conf/cade/KlingenbeckH94, added-at = {2018-11-02T00:00:00.000+0100}, author = {Klingenbeck, Stefan and Hähnle, Reiner}, biburl = {https://www.bibsonomy.org/bibtex/2c61fc6afd36d236a66a2b15cc89f1b8c/dblp}, booktitle = {CADE}, crossref = {conf/cade/1994}, editor = {Bundy, Alan}, ee = {https://doi.org/10.1007/3-540-58156-1_51}, interhash = {77b20e5bf561c71682dc8ff4fc3f9fee}, intrahash = {c61fc6afd36d236a66a2b15cc89f1b8c}, isbn = {3-540-58156-1}, keywords = {dblp}, pages = {708-722}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:43.000+0200}, title = {Semantic Tableaux with Ordering Restrictions.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade94.html#KlingenbeckH94}, volume = 814, year = 1994 }