Yann Rouzaud Lan Nguyen-Phuong Integrating Modes and Subtypes into a Prolog Type-Checker. 85-97 1992 JICSLP db/conf/iclp/iclp92.html#RouzaudN92