@InProceedings{DK19,
    Author       = "Duarte, A. and Korovin, K.",
    Year         = "2019",
    Title        = "{Experimenting with Superposition in iProver}",
    Editor       = "Bolotov, A. and Kammueller, F.",
    BookTitle    = "{Proceedings of the 26th Automated Reasoning Workshop}",
    Place        = "London, United Kingdom",
    Pages        = "To appear",
    Comment      = ""
}