(untitled) - Genicot,C.; Ley,S.V. (Synthesis, 1994)