Universal Unification (1984)

by Jörg H Siekmann
Venue:Proceedings of the Seventh International Conference on Automated Deduction