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},
}