@inproceedings{KV04a, author = "O. Kupferman and M.Y. Vardi", title = "From Complementation to Certification", booktitle = "10th International Conference on Tools and algorithms for the construction and analysis of systems", series = "Lecture Notes in Computer Science", volume = "2988", pages = "591--606", publisher = "Springer-Verlag", year = "2004" }