Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber. Horn Equational Theories and Paramodulation. Journal of Automated Reasoning, 5(3):309-337, 1989.
@article{FurbachHS89:0, title = {Horn Equational Theories and Paramodulation}, author = {Ulrich Furbach and Steffen Hölldobler and Joachim F. Schreiber}, year = {1989}, researchr = {https://researchr.org/publication/FurbachHS89%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {5}, number = {3}, pages = {309-337}, }