Bchi Complementation and Size-Change Termination.

Seth Fogarty, Moshe Y. Vardi

Browse the full TACAS paper archive.