@InProceedings{ISW17,
    Author       = "Itegulov, D. and Slaney, J. and Woltzenlogel Paleo, B.",
    Year         = "2017",
    Title        = "{Scavenger 0.1: A Theorem Prover Based on Conflict
                    Resolution}",
    Editor       = "de Moura, L.",
    BookTitle    = "{Proceedings of the 26th International Conference on
                    Automated Deduction}",
    Place        = "Gothenburg, Sweden",
    Series       = "Lecture Notes in Computer Science",
    Number       = "10395",
    Pages        = "344-356",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}