Twenty years of rewriting logic (Q1931904): Difference between revisions

This very dense paper touches upon many, if not all, aspects of rewriting logic: 476 references are cited in the 49 pages of the paper. The first sections of the paper could be read as a dense introduction to rewriting logic, but, first and foremost, the paper is a survey paper in style and scope. Thus, the most likely reader is a researcher in rewriting logic who wishes to broaden his view of the field or find related work.