Ein UND-paralleles Ausführungsmodell für logische Programme. - Schwinn, Bernd (Fachbereich Informatik, Univ.Kaiserslautern. Interner Bericht, 1985)