Alternation Elimination by Complementation (Extended Abstract).

Christian Dax, Felix Klaedtke

Browse the full LPAR paper archive.