@doctoralThesis{Bengeloune_2000,
title={Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen},
author={Bengeloune, Idriss},
doi={http://dx.doi.org/10.22028/D291-25689},
year={2000}
}