Kwok-bun Yue, R. T. Jacob. An Optimal Algorithm for Reducing Edge-Solvable Mutual Exclusion Graphs. Comput. J., 37(2):129-138, 1994.
@article{YueJ94, title = {An Optimal Algorithm for Reducing Edge-Solvable Mutual Exclusion Graphs}, author = {Kwok-bun Yue and R. T. Jacob}, year = {1994}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/YueJ94}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {37}, number = {2}, pages = {129-138}, }