Gregor Meyer. On Types and Type Consistency in Logic Programming. Published as  volume 235 of DISKI, Akademische Verlagsgesellschaft Aka, Berlin, 2000. PhD thesis, FernUniversität Hagen, 1999.

Homepage of TYPICAL

Also available: gzip'ped postscript, BibTeX

@PhdThesis{gmeyer:99:diss,
  author = {Gregor Meyer},
  title = {On Types and Type Consistency in Logic Programming},
  school = {FernUniversit{\"a}t Hagen},
  year = {1999},
  note = {Published as volume 235 of DISKI, Akademische Verlagsgesellschaft
Aka, Berlin, 2000. http://www.fernuni-hagen.de/pi8/typical},
  isbn = {3-89838-235-4}
}