A polymorphic type system for Prolog (1984)

by A Mycroft, R A O’Keefe
Venue:Arti Intelligence