Logic Programs with Polymorphic Types: A condition for static type checking. - Staffan Bonnier; Jonas Wallgren (CTRS, 1992)