William I. Gasarch, Jeffry L. Hirst. Reverse Mathematics and Recursive Graph Theory. Math. Log. Q., 44:465-473, 1998.
@article{GasarchH98, title = {Reverse Mathematics and Recursive Graph Theory}, author = {William I. Gasarch and Jeffry L. Hirst}, year = {1998}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/GasarchH98}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {44}, pages = {465-473}, }