Jiyang Xu David Scott Warren A Type Inference System for Prolog. 604-619 1988 ICLP/SLP db/conf/iclp/iclp88.html#XuW88