Decidability, Introduction Rules and Automata.

Gilles Dowek, Ying Jiang

Browse the full LPAR paper archive.