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.
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} }