@Techreport{ gmeyer:96:checkreport
,Author = {Gregor Meyer}
,Title = "Type Checking and Type Inferencing for Logic Programs
         with Subtypes and Parametric Polymorphism"
,Institution = "FernUniversit{\"a}t Hagen"
,Year = 1996
,Month = jun
,Type = "Informatik Berichte"
,Number = 200
}