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