@InProceedings{Eevalstrat_1998, author = {S. Eker}, title = {Term Rewriting with Operator Evaluation Strategy}, booktitle = {In 2nd International Workshop on Rewriting Logic and its Applications (WRLA'98)}, year = {1998}, volume = {15}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, }