Peter Baumgartner. A Completeness Proof Technique for Resolution with Equality. In Thomas Christaller, editor, GWAI-91, 15. Fachtagung für Künstliche Intelligenz, Bonn, 16.-20. September 1991, Proceedings. Volume 285 of Informatik-Fachberichte, pages 12-22, Springer, 1991.
@inproceedings{Baumgartner91, title = {A Completeness Proof Technique for Resolution with Equality}, author = {Peter Baumgartner}, year = {1991}, tags = {completeness}, researchr = {https://researchr.org/publication/Baumgartner91}, cites = {0}, citedby = {0}, pages = {12-22}, booktitle = {GWAI-91, 15. Fachtagung für Künstliche Intelligenz, Bonn, 16.-20. September 1991, Proceedings}, editor = {Thomas Christaller}, volume = {285}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-54558-1}, }