A decidable fragment of the elementary theory of relations and some applications
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A derived algorithm for evaluating ε-expressions over abstract sets
Journal of Symbolic Computation - Special issue on automatic programming
Decision procedures for stratified set-theoretic syllogistics
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information and Computation
T-Resolution: Refinements and Model Elimination
Journal of Automated Reasoning
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
An Equational Re-engineering of Set Theories
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership
Journal of Automated Reasoning
Journal of Automated Reasoning
On the decidability of formulae involving continuous and closed functions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Theory-specific automated reasoning
A 25-year perspective on logic programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |