From Complementation to Certification.

Orna Kupferman, Moshe Y. Vardi

Browse the full TACAS paper archive.