"Automata Theoretic Account of Proof Search."

Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics