Jeffry L. Hirst. Reverse mathematics and rank functions for directed graphs. Arch. Math. Log., 39(8):569-579, 2000. [doi]
@article{Hirst00:0,
title = {Reverse mathematics and rank functions for directed graphs},
author = {Jeffry L. Hirst},
year = {2000},
doi = {10.1007/s001530050165},
url = {http://dx.doi.org/10.1007/s001530050165},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Hirst00%3A0},
cites = {0},
citedby = {0},
journal = {Arch. Math. Log.},
volume = {39},
number = {8},
pages = {569-579},
}