Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. - T. L. Lakshman; Uday S. Reddy (ISLP, 1991)