The MVL theorem proving system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Types in Functional Unification Grammars
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Comparing unification algorithms in first-order theorem proving
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Solving functional constraints by variable substitution
Theory and Practice of Logic Programming
| Hi-index | 0.00 |