W. Bibel
-
Automated reasoning with function evaluation for COCOLOG
Annals of Mathematics and Artificial Intelligence
Research perspectives for logic and deduction
Reasoning, Action and Interaction in AI Theories and Systems