Chad E. Brown, Christine Rizkallah. From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction. In Jasmin Christian Blanchette, Josef Urban, editors, Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. Volume 14 of EPiC Series, pages 27-42, EasyChair, 2013. [doi]
Abstract is missing.