@InProceedings{HK+12,
    Author       = "Hoder, K. and Khasidashvili, Z. and Korovin, K. and Voronkov, A.",
    Year         = "2012",
    Title        = "{Preprocessing Techniques for First-Order Clausification}",
    Editor       = "Cabodi, G. and Singh, S.",
    BookTitle    = "{Proceedings of the Formal Methods in Computer-Aided Design 2012}",
    Place        = "Cambridge, United Kindom",
    Pages        = "44-51",
    Publisher    = "IEEE Press",
    Comment      = ""
}