Selected papers that cite this one
- W. Bibel and E. Eder. Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution. Journal of the ACM, 44(2):320-344, March 1997.
- Christopher Lynch. Paramodulation without duplication. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 167-177, San Diego, California, 26-29 June 1995. IEEE Computer Society Press.