@InProceedings{HK21,
    Author       = "Holden, E. and Korovin, K.",
    Year         = "2021",
    Title        = "{Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem
                    Proving}",
    Editor       = "Kamareddine, F. and Sacerdoti, C.",
    BookTitle    = "{Proceedings of the 14th International Conference on Intelligent Computer
                    Mathematics}",
    Place        = "Online",
    Series       = "Lecture Notes in Computer Science",
    Number       = "12833",
    Pages        = "107-123",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}