Selected papers that cite this one
- Christian Fermüller and Alexander Leitsch. Hyperresolution and automated model building. Journal of Logic and Computation, 6(2):173-203, April 1996.
- F. Ferrucci, G. Pacini, and Maria I. Sessa. Redundancy elimination and loop checks for logic programs. Information and Computation, 119(2):137-153, June 1995.
- Jieh Hsiang and Michaël Rusinowitch. Proving refutational completeness of theorem-proving strategies: The transfinite semantic tree method. Journal of the ACM, 38(3):559-587, July 1991.
- Susumu Yamasaki and Shuji Doshita. The satisfiability problem for a class consisting of Horn sentences and some non-Horn sentences in proportional logic. Information and Control, 59(1-3):1-12, October/November/December 1983.