Sachio Hirokawa. The Relevance Graph of a BCK-Formula. Journal of Logic and Computation, 3(3):269-285, 1993.
@article{Hirokawa93, title = {The Relevance Graph of a BCK-Formula}, author = {Sachio Hirokawa}, year = {1993}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Hirokawa93}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {3}, number = {3}, pages = {269-285}, }