Datenparallele Auswertung rekursiver logischer Programme - Klingler, Antonius (s.n.], 1993)