The following papers authored by members of Parsifal were accepted to the fourth workshop on Proof eXchange for Theorem Proving:
- A framework for proof certificates in finite state exploration by Quentin Heath and Dale Miller
- Importing SMT and Connection proofs as expansion trees by Giselle Reis
