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