The following papers by Parsifal team members have been accepted to Computer Science Logic (CSL) to be held at Fontainebleau, France in September 2012.
- Stefan Hetzl and Lutz Straßburger, “Herbrand-Confluence for Cut Elimination in Classical First Order Logic“
- Kaustuv Chaudhuri, Stefan Hetzl, and Dale Miller, “A Systematic Approach to Canonicity in the Classical Sequent Calculus“