@Inproceedings{MeyerWeigel93KI
,Author   = {G. Meyer and S. Weigel}
,Title    = "Polymorphe {F}eaturetypen - {T}ypinferenz und 
             {T}yp{\"{u}}berpr{\"{u}}fung"
,Booktitle= "Proc. Workshop
             ``Neuere Entwicklungen der deklarativen KI-Programmierung'' 
             auf der KI-93, Humboldt-Universit{\"{a}}t, Berlin"
,Editor   = {H. Boley and F. Bry and U. Geske}
,Year     = 1993
,Month    = "September"
,Publisher= "Research Report RR-93-35, DFKI Kaiserslautern"}