@TECHREPORT{Meyer96_InfBericht200,
  AUTHOR = {G. Meyer},
  TITLE = {Type checking and type inferencing for logic programs with subtypes
           and parametric polymorphism},
  TYPE = {Informatik Fachbericht},
  NUMBER = 200,
  INSTITUTION = {FernUniversit\"{a}t Hagen},
  MONTH = "June",
  YEAR = 1996}