@inproceedings{SV07LPAR,
    author = {Samer, Marko and Veith, Helmut},
    title = {On the Notion of Vacuous Truth},
    booktitle = {Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'07)},
    editor = {Dershowitz, Nachum and Voronkov, Andrei},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {4790},
    pages = {2--14},
    year = {2007},
    isbn = {978-3-540-75558-6}
}