@inproceedings{FKSV08,
    author      =   "D. Fisman and O. Kupferman and S. Seinvald and M.Y. Vardi",
    title       =   "A Framework for Inherent Vacuity",
    booktitle   =   hvc08,
    series      =   lncs,
    volume      =   "5394",
    pages       =   "7--22",
    publisher   =   springer,
    year        =   2008
}