Erweiterung einer abstrakten Maschine für ordnungsorientiertes Prolog um die Behandlung polymorpher Sorten - Semle, Heiner (Institut für Wissensbasierte Systeme <Heidelberg>: IWBS-Report, 1989)