%0 Conference Paper %1 conf/cade/HsiangR86 %A Hsiang, Jieh %A Rusinowitch, Michaël %B CADE %D 1986 %E Siekmann, Jörg H. %I Springer %K dblp %P 141-152 %T A New Method for Establishing Refutational Completeness in Theorem Proving. %U http://dblp.uni-trier.de/db/conf/cade/cade86.html#HsiangR86 %V 230 %@ 3-540-16780-3

@inproceedings{conf/cade/HsiangR86, added-at = {2017-05-19T00:00:00.000+0200}, author = {Hsiang, Jieh and Rusinowitch, Michaël}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f630e5b62465ee98d7882223f6aa432b/dblp}, booktitle = {CADE}, crossref = {conf/cade/1986}, editor = {Siekmann, Jörg H.}, ee = {https://doi.org/10.1007/3-540-16780-3_86}, interhash = {890f484ce1857f2f7af36d3545d63cf8}, intrahash = {f630e5b62465ee98d7882223f6aa432b}, isbn = {3-540-16780-3}, keywords = {dblp}, pages = {141-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:39:06.000+0200}, title = {A New Method for Establishing Refutational Completeness in Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade86.html#HsiangR86}, volume = 230, year = 1986 }