@InProceedings{HV11,
    Author       = "Hoder, K. and Voronkov, A.",
    Year         = "2011",
    Title        = "{Sine Qua Non for Large Theory Reasoning}",
    Editor       = "Sofronie-Stokkermans, V. and Bj{\oe}rner, N.",
    BookTitle    = "{Proceedings of the 23rd International Conference on
                    Automated Deduction}",
    Place        = "Wroclaw, Poland",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "6803",
    Pages        = "299-314",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}