Type inference in Prolog (1988)

by H Azzoune
Venue:Proceedings of the Ninth International Conference on Automated Deduction, volume 310 of Lecture Notes in Computer Science