Type checking and type inferencing for logic programs with subtypes and parametric polymorphism - Meyer, Gregor (Fernuniv., Fachbereich Informatik, 1996)