The Linked Inference Principle, II: The User's Viewpoint

Theory links: Applications to automated theorem proving

Journal of Symbolic Computation

Subgoal Strategies for Solving Board Puzzles

Journal of Automated Reasoning

The Hot List Strategy

Journal of Automated Reasoning

Finding Shortest Proofs: An Application of Linked Inference Rules

Journal of Automated Reasoning

Solving Open Questions and Other Challenge Problems Using Proof Sketches

Journal of Automated Reasoning

Position paper to be presented at "Verification workshop III (verkshop III)" to be held in Watsonville, CA. Feb. 18--21, 1985

ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop

Automated deduction by theory resolution

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2