Towards a theory of types in Prolog (1984)

by P Mishra
Venue:In Int’l. Symp. on Logic Programming