@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"
}