%0 Conference Paper %1 conf/cade/PoratF86 %A Porat, Sara %A Francez, Nissim %B CADE %D 1986 %E Siekmann, Jörg H. %I Springer %K dblp %P 21-41 %T Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems. %U http://dblp.uni-trier.de/db/conf/cade/cade86.html#PoratF86 %V 230 %@ 3-540-16780-3

@inproceedings{conf/cade/PoratF86, added-at = {2017-05-19T00:00:00.000+0200}, author = {Porat, Sara and Francez, Nissim}, biburl = {https://www.bibsonomy.org/bibtex/26c671df54465664850e9be263e346237/dblp}, booktitle = {CADE}, crossref = {conf/cade/1986}, editor = {Siekmann, Jörg H.}, ee = {https://doi.org/10.1007/3-540-16780-3_77}, interhash = {4d4386578dd1b90436d5a0fe72ff761d}, intrahash = {6c671df54465664850e9be263e346237}, isbn = {3-540-16780-3}, keywords = {dblp}, pages = {21-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:13.000+0200}, title = {Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade86.html#PoratF86}, volume = 230, year = 1986 }