@inproceedings{BFGKV05,
        author      =   "D. Bustan and A. Flaisher and O. Grumberg and
                         O. Kupferman and M.Y. Vardi",  
        title       =   "Regular vacuity",
        booktitle   =   "13th Advanced Research Working
                         Conference on Correct Hardware Design and
                         Verification Methods",
        series      =   "Lecture Notes in Computer Science",
        volume      =   "3725",
        pages       =   "191-206",
        publisher   =   "Springer-Verlag",
        year        =   "2005"
}