Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Link (Any fulltext)
Brown, C. E., & Rizkallah, C. (2013). From Classical Extensional Higher-order Tableau to Intuitionistic Intentional Natural Deduction. In J. Christian Blanchette, & J. Urban (Eds.), PxTP 2013 (pp. 27-42).