Inference of Polymorphic Types for Logic Programs.

Changwoo Pyo Uday S. Reddy Inference of Polymorphic Types for Logic Programs. 1115-1132 1989 NACLP db/conf/slp/slp89.html#PyoR89