(untitled) - Enders, D; Braig, V; Boudou, M; Gerhard, R (Synthesis, 2004)