Sara Porat, Nissim Francez
Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems
CADE, 1986.
@inproceedings{CADE-1986-PoratF, author = "Sara Porat and Nissim Francez", booktitle = "{Proceedings of the Eighth International Conference on Automated Deduction}", doi = "10.1007/3-540-16780-3_77", isbn = "3-540-16780-3", pages = "21--41", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems}", volume = 230, year = 1986, }