On types and type consistency in logic programming - Meyer, Gregor (Akad.Verl.-Ges. Aka, 2000)
Zugl.: Hagen, Fernuniv., Diss., 1999