On the use of types in logic programming - Meyer, Gregor (Fernuniv., Fachbereich Informatik, 1996)