Azmy, Noran Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Azmy, N., & Weidenbach, C. (2013). Computing Tiny Clause Normal Forms. In M. P. Bonacina (Ed.), Automated Deduction - CADE-24 (pp. 109-125). Berlin: Springer. doi:10.1007/978-3-642-38574-2_7.