@InProceedings{VL+08,
    Author       = "Verchinine, K. and Lyaletski, A. and Paskevich, A. and
                    Anisimov, A.",
    Year         = "2008",
    Title        = "{On Correctness of Mathematical Texts from a Logical and
                    Practical Point of View}",
    Editor       = "Autexier, S. and Campbell, J. and Rubio, J. and Sorge, V.
                    and Suzuki, M. and Wiedijk, F.",
    BookTitle    = "{Proceedings of the Conference on Intelligent Computer
                    Mathematics}",
    Place        = "Birmingham, United Kingdon",
    Series       = "Lecture Notes in Computer Science",
    Number       = "5144",
    Pages        = "583-598",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}