A type inference system for Prolog (1988)

by J Xu, D S Warren
Venue:Proc. 5th International Conf. and symp. on Logic Programming