A semantics for typed logic programs (1992)

by P M Hill, R W Topor
Venue:Types in Logic Programming