A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
A Proof Strategy Based on a Dual Representation
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
A taxonomy of theorem-proving strategies
Artificial intelligence today
Efficient integrity checking for databases with recursive views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
| Hi-index | 0.00 |