RAPiD e. Datenflußmodell zur Realisierung von UND-Parallelität u. intelligentem Backtracking in Hornklausel-Programmen - Schwinn, Bernd (1988)
Stuttgart, Univ., Diss.