Equality-based binary resolution
Journal of the ACM (JACM)
Minimal and complete word unification
Journal of the ACM (JACM)
Constraints in computational logics
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |