@Techreport{ gmeyer:96:usereport
,Author = {Gregor Meyer}
,Title = "On the Use of Types in Logic Programming"
,Institution = "FernUniversit{\"a}t Hagen"
,Year = 1996
,Month = jun
,Type = "Informatik Berichte"
,Number = 199
}