Constrained equational reasoning
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
On solving equations and disequations
Journal of the ACM (JACM)
Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning
Fast sort computations for order-sorted matching and unification
Formal modeling
Rule-Based Constraint Programming
Fundamenta Informaticae
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
| Hi-index | 0.01 |