Subgoal Strategies for Solving Board Puzzles
The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe
Shortest Single Axioms for the Equivalential Calculus with CD and RCD*
Elimination of Self-Resolving Clauses
Automated Deduction Techniques for Classification in Description Logic Systems
Triviality and Dimension of a System of Algebraic Differential Equations
The Eleventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE–98)