Polymorphic type inference in prolog by abstract interpretation (1987)

by K Horiuchi, T Kanamori
Venue:In Proc. 6th Conference on Logic Programming, volume 315 of Springer-Verlag Lecture Notes in Computer Science