Ordered Semantic Hyper Tableaux
Journal of Automated Reasoning
A Confluent Connection Calculus
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Depth-first proof search without backtracking for free-variable clausal tableaux
Journal of Symbolic Computation - Special issue: First order theorem proving
Hi-index | 0.00 |