@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 = "" }