%0 Conference Paper %1 conf/esop/NieuwenhuisR92 %A Nieuwenhuis, Robert %A Rubio, Albert %B ESOP %D 1992 %E Krieg-Brückner, Bernd %I Springer %K dblp %P 371-389 %T Basic Superposition is Complete. %U http://dblp.uni-trier.de/db/conf/esop/esop92.html#NieuwenhuisR92 %V 582 %@ 3-540-55253-7

@inproceedings{conf/esop/NieuwenhuisR92, added-at = {2017-05-19T00:00:00.000+0200}, author = {Nieuwenhuis, Robert and Rubio, Albert}, biburl = {https://www.bibsonomy.org/bibtex/21b4b760ec29377be06abc180f4051291/dblp}, booktitle = {ESOP}, crossref = {conf/esop/1992}, editor = {Krieg-Brückner, Bernd}, ee = {https://doi.org/10.1007/3-540-55253-7_22}, interhash = {31febb439c5ff8b8ce4f2305f5cea3c7}, intrahash = {1b4b760ec29377be06abc180f4051291}, isbn = {3-540-55253-7}, keywords = {dblp}, pages = {371-389}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:29:04.000+0200}, title = {Basic Superposition is Complete.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop92.html#NieuwenhuisR92}, volume = 582, year = 1992 }