A polymorphic type system for Prolog
scientific article; zbMATH DE number 3864541