clause programs with polymorphic types: Semantics and resolution (1989)

by Horn
Venue:240, LNCS 352, Springer Lecture Notes in Computer Science