Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
Strategies in rigid-variable methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Consolution and its relation with resolution
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |