@InProceedings{PV+07,
    Author       = "Paskevich, A. and Verchinine, K. and Lyaletski, A. and
                    Anisimov, A.",
    Year         = "2007",
    Title        = "{Reasoning Inside a Formula and Ontological Correctness
                    of a Formal Mathematical Text}",
    Editor       = "Kauers, M. and Kerber, M. and Miner, R. and
                    Windsteiger, W.",
    BookTitle    = "{Calculemus/MKM 2007 - Work in Progress}",
    Number       = "RISC-Linz Report Series, 07-06",
    Pages        = "77-91",
    Institution  = "University of Linz",
    Address      = "Linz, Austria",
    Comment      = "TPTPRef"
}