%0 Journal Article %1 journals/sigsoft/Liu00 %A Liu, Chang %D 2000 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 3 %P 63 %T Term rewriting and all that. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft25.html#Liu00 %V 25

@article{journals/sigsoft/Liu00, added-at = {2020-09-17T00:00:00.000+0200}, author = {Liu, Chang}, biburl = {https://www.bibsonomy.org/bibtex/2649e0dfc4a031273a22bea4188a38ccc/dblp}, ee = {https://doi.org/10.1145/505863.505888}, interhash = {a4196b288a0034feac6b77dcedada828}, intrahash = {649e0dfc4a031273a22bea4188a38ccc}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 3, pages = 63, timestamp = {2020-09-18T11:36:52.000+0200}, title = {Term rewriting and all that.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft25.html#Liu00}, volume = 25, year = 2000 }