Eyal Yardeni Thom W. Frühwirth Ehud Y. Shapiro Polymorphically Typed Logic Programs. 379-393 1991 ICLP db/conf/iclp/iclp91.html#YardeniFS91