@InProceedings{Wol16, Author = "Woltzenlogel Paleo, B.", Year = "2016", Title = "{First-Order Conflict-Driven Clause Learning from a Proof-Theoretical Perspective}", Editor = "Dowek, G. and Dubois, C. and Pientka, B. and Rabe, F.", BookTitle = "{Universality of Proofs}", Place = "Dagstuhl, Germany", Series = "Dagstuhl Seminar", Number = "16421", Comment = "" }