Computing Tiny Clause Normal Forms. - Noran Azmy; Christoph Weidenbach (CADE, 2013)

A Rigorous Correctness Proof for Pastry. - Noran Azmy; Stephan Merz; Christoph Weidenbach (ABZ, 2016)

A machine-checked proof of correctness of Pastry. (Une preuve certifiée par la machine de la correction du protocole Pastry). - Noran Azmy (2017)

A machine-checked correctness proof for Pastry. - Noran Azmy; Stephan Merz; Christoph Weidenbach (Sci. Comput. Program., 2018)