Mode Error Diagnosis in Interpreted Code - a Prolog Debugging (1981)

by R O'Keefe
Venue:University of Edinburgh