Murray Elder, Jennifer Taback. Thompson's group F is 1-counter graph automatic. Groups Complexity Cryptology, 8(1):21-33, 2016. [doi]
@article{ElderT16, title = {Thompson's group F is 1-counter graph automatic}, author = {Murray Elder and Jennifer Taback}, year = {2016}, url = {http://www.degruyter.com/view/j/gcc.2016.8.issue-1/gcc-2016-0001/gcc-2016-0001.xml}, researchr = {https://researchr.org/publication/ElderT16}, cites = {0}, citedby = {0}, journal = {Groups Complexity Cryptology}, volume = {8}, number = {1}, pages = {21-33}, }