@InProceedings{HK19-ARW-2,
    Author       = "Hernandez, J. and Korovin, K.",
    Year         = "2019",
    Title        = "{Towards an Under-Approximation Abstraction-Refinement
                    for Reasoning with Large Theories}",
    Editor       = "Bolotov, A. and Kammueller, F.",
    BookTitle    = "{Proceedings of the 26th Automated Reasoning Workshop}",
    Place        = "London, United Kingdom",
    Pages        = "To appear",
    Comment      = ""
}

@InProceedings{HK19-ARW,
    Author       = "Holden, E. and Korovin, K.",
    Year         = "2019",
    Title        = "{Experiments with Selection of Theorem Proving Heuristics}",
    Editor       = "Bolotov, A. and Kammueller, F.",
    BookTitle    = "{Proceedings of the 26th Automated Reasoning Workshop}",
    Place        = "London, United Kingdom",
    Pages        = "To appear",
    Comment      = ""
}