@inproceedings{KV99a,
	author	    =   "O. Kupferman and M.Y. Vardi",
        title       =   "The weakness of self-complementation",
        booktitle   =   "Proc. 16th Symp. on Theoretical Aspects 
                         of Computer Science",
        series      =   "Lecture Notes in Computer Science",
        volume	    =   "1563",
        pages       =   "455-466",
        publisher   =   "Springer-Verlag",
        year        =   "1999"
}