Towards a theory of types in Prolog (1984)

by P Mishra
Venue:Proc. IEEE International Symp. on Logic Programming, Atlantic City