Journal of the ACM Bibliography
William H. Joyner Jr..
Resolution strategies as decision procedures. Journal of the
ACM, 23(3):398-417, July 1976.
[BibTeX entry]
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.
Shortcuts: