An abstract reduction system consists of
Abstract reduction systems (ARSs) are the least setting in which we can talk about rewriting on a set . The members of the set can be considered as terms of some language. Instead of , we write , and say that reduces to .
Baader, Franz, and Tobias Nipkow. 1998. Term Rewriting and All That. Cambridge University Press. https://doi.org/10.1017/CBO9781139172752.
@book{baader_1998,
title = {Term {Rewriting} and {All} {That}},
publisher = {Cambridge University Press},
author = {Baader, Franz and Nipkow, Tobias},
year = {1998},
doi = {10.1017/CBO9781139172752}
}