Reinhold Letz
-
Restricting backtracking in connection calculi
AI Communications - Practical Aspects of Automated Reasoning