Tree-based language complexity of Thompson's group F. - Jennifer Taback; Sharif Younes (Groups Complex. Cryptol., 2015)