Afshari, B., Hetzl, S., & Leigh, G. (2015). Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars. In T. Altenkirch (Ed.), 13th International Conference on Typed Lambda Calculi and Applications - TLCA 2015 (pp. 1–16). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.TLCA.2015.1