1. Group languages;Anisimov;Kibernetika,1971
2. Parties rationnelles du groupe libre;Benois;C. R. Acad. Sci. Paris, Sér. A,1969
3. On total regulators generated by derivation relations;Bucher;Theor. Comput. Sci.,1985
4. Regular languages and partial commutations;Cano;Inf. Comput.,2013
5. Post embedding problem is not primitive recursive, with applications to channel systems;Chambart,2007