Strategies for modal resolution: Results and problems Yves AuffrayJean-Jacques Hebrard OriginalPaper Pages: 1 - 38
On the recursive decomposition ordering with lexicographical status and other related orderings Pierre Lescanne OriginalPaper Pages: 39 - 49
Replacing unification by constraint satisfaction to improve logic program expressiveness J. W. RoachR. SundararajanL. T. Watson OriginalPaper Pages: 51 - 75
The problem of choosing between logic programming and general-purpose automated reasoning Larry Wos Basic Research Problem Pages: 77 - 78
Automated proofs of the moufang identities in alternative rings Siva AnantharamanJieh Hsiang Problem Corner Pages: 79 - 109