"Converting AND-Control to OR-Control by Program Transformation."

Maarten H. van Emden, Péter Szeredi (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics