A Polymorphic Type System For Prolog (1984)

by A Mycroft, R O'Keefe
Venue:Artificial Intelligence