Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen. - Idriss Bengeloune (2000)