Type Inference in Prolog (1988)

by H Azzoune
Venue:Proceedings of the ninth International Conference on Automated Deduction