Implementing polymorphic typing in a logic programming language (1994)

by K Kwon, G Nadathur, D S Wilson
Venue:Computer Languages