Unification for completely commutative theories
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
General Algorithms for Permutations in Equational Inference
Journal of Automated Reasoning
Experiments with associative-commutative discrimination nets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae
| Hi-index | 0.00 |