A many-sorted calculus with polymorphic functions based on resolution and paramodulation (1985)

by Manfred Schmidt-Schau
Venue:In Proceedings of the 9th International Conference on Artificial Intelligence