What You Always Wanted to Know about Rigid E-Unification
Journal of Automated Reasoning
Simultaneous Rigid E-Unification and Related Algorithmic Problems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |