


[FMP15b] The Next 700 Challenge Problems for Reasoning with HigherOrder Abstract Syntax Representations: Part 2–A Survey, by Amy P. Felty, Alberto Momigliano, and Brigitte Pientka, 2015, Journal of Automated Reasoning, to appear (pdf). [FP10] Reasoning with HigherOrder Abstract Syntax and Contexts: A Comparison, by Amy Felty and Brigitte Pientka. In International Conference on Interactive Theorem Proving, SpringerVerlag LNCS, July 2010 (pdf). 