Deepak Kapur, G. Sivakumar, Hantao Zhang. A Path Ordering for Proving Termination of AC Rewrite Systems. Journal of Automated Reasoning, 14(2):293-316, 1995.
@article{KapurSZ95,
title = {A Path Ordering for Proving Termination of AC Rewrite Systems},
author = {Deepak Kapur and G. Sivakumar and Hantao Zhang},
year = {1995},
tags = {termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/KapurSZ95},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {14},
number = {2},
pages = {293-316},
}