@Article{SW17, Author = "Slaney, J. and Woltzenlogel Paleo, B.", Year = "2017", Title = "{Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning}", Journal = "Journal of Automated Reasoning", Volume = "", Number = "", Pages = "To appear", Comment = "" }