Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
Rizkallah, C. (2009). Proof Representations for Higher-Order Logic. Master Thesis, Universität des Saarlandes, Saarbrücken.