TitleBi-rewriting, a Term Rewriting Technique for Monotonic Order Relations
Publication TypeConference Paper
Year of Publication1993
AuthorsLevy J, Agustí-Cullell J
Conference NameProc. of the 5th Int. Conf. on Rewriting Techniques and Applications, RTA'93
URLhttp://dx.doi.org/10.1007/3-540-56868-9_3
DOI10.1007/3-540-56868-9_3