Siekmann, J.H. (1984): Universal Unification
Title:
Universal Unification
Author(s):
Siekmann, J.H.
Year:
1984
Booktitle:
Proc. 7th International Conference on Automated Deduction
Publisher:
Springer
Concepts
