A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Journal of Automated Reasoning
An Algorithm for the Retrieval of Unifiers from Discrimination Trees
Journal of Automated Reasoning
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On the Evaluation of Indexing Techniques for Theorem Proving
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Experiments with associative-commutative discrimination nets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |