en.wikipedia.org/wiki/Abstract_rewriting_system

In mathematical logic and theoretical computer science, an abstract rewriting
system is a ... Consequently, some authors define the **reduction relation** → as the
indexed union of some relations; for instance if → 1 ∪ → 2 =→ {\displaystyle ...

docs.racket-lang.org/redex/The_Redex_Reference.html

Alternatively, use the redex/reduction-semantics and redex/pict libraries, which
provide only non-GUI ..... Recognized specially within **reduction**-**relation**.

plato.stanford.edu/entries/physics-interrelate

Showing how these derivations are possible for “paradigm” examples of
intertheoretic **reduction** turns ...

www.ncbi.nlm.nih.gov/pubmed/14749092

Mindfulness-based stress **reduction** in **relation** to quality of life, mood, symptoms
of stress and levels of cortisol, dehydroepiandrosterone sulfate (DHEAS) and ...

www.cs.princeton.edu/courses/archive/spr96/cs441/notes/l9.html

A reduction semantics or rewriting semantics defines an an evaluation function ...
The **reduction relation** ->* is the reflexive and transitive closure of the simpler ...

www.ncbi.nlm.nih.gov/pubmed/12883107

Mindfulness-based stress **reduction** in **relation** to quality of life, mood, symptoms
of stress, and immune parameters in breast and prostate cancer outpatients.

www.ncbi.nlm.nih.gov/pubmed/25136077

Aug 18, 2014 **...** Mortality **reduction** in **relation** to implantable cardioverter defibrillator
programming in the Multicenter Automatic Defibrillator Implantation ...

aem.asm.org/content/80/10/3198.full

Arsenic(V) **Reduction** in **Relation** to Iron(III) Transformation and Molecular
Characterization of the Structural and Functional Microbial Community in
Sediments of ...

fm.mizar.org/1996-5/pdf5-4/rewrite1.pdf

The completion of a **reduction relation** R is a complete reduction rela- tion
equivalent to R such that convertible elements have the same normal forms.