TY  - RPRT
TI  - Decidability, Introduction Rules and Automata
AU  - Gilles Dowek
AU  - Ying Jiang
PY  - 2016
DO  - 10.1007/978-3-662-48899-7_8
UR  - https://arxiv.org/abs/1601.01484
ID  - 1601.01484
ER  -