Azmy, Noran Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Azmy, N., Merz, S., & Weidenbach, C. (2018). A Machine-checked Correctness Proof for Pastry. Science of Computer Programming, 158, 64-80. doi:10.1016/j.scico.2017.08.003.