@inproceedings{SV04FMCAD,
    author = {Samer, Marko and Veith, Helmut},
    title = {Parameterized Vacuity},
    booktitle = {Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD'04)},
    editor = {Hu, Alan J. and Martin, Andrew K.},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {3312},
    pages = {322--336},
    year = {2004},
    isbn = {978-3-540-23738-9}
}