@unpublished{burel:hal-04063102, TITLE = {{Automata, Resolution, and Cut-elimination}}, AUTHOR = {Burel, Guillaume and Dowek, Gilles and Jiang, Ying}, URL = {https://inria.hal.science/hal-04063102}, NOTE = {working paper or preprint}, YEAR = {2016}, PDF = {https://inria.hal.science/hal-04063102v2/file/automata.pdf}, HAL_ID = {hal-04063102}, HAL_VERSION = {v2}, }