@book{Meyer2000,
  author = {Gregor Meyer},
  title = {On Types and Type Consistency in Logic Programming},
  publisher = "Akademische Verlagsgesellschaft",
  address  = " Berlin",
  year = {2000},
  Volume = 235,
  series = {Dissertationen zur K\"{u}nstlichen Intelligenz (DISKI)},
  isbn = {3-89838-235-4}
}