Twenty years of rewriting logic
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.
scientific article; zbMATH DE number 6126072
scientific article