Derivation of polymorphic types for Prolog programs (1987)

by J Zobel
Venue:Logic Programming: Proceedings of the fourth international conference