Cancellative abelian monoids and related structures in refutational theorem proving (Part I)
Journal of Symbolic Computation
A Model-Based Completeness Proof of Extended Narrowing and Resolution
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Paramodulation with Built-In Abelian Groups
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Superposition with completely built-in Abelian groups
Journal of Symbolic Computation
Deduction with XOR constraints in security API modelling
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Automated Deduction Techniques for Studying Rough Algebras
Fundamenta Informaticae
Hi-index | 0.00 |