Term Rewriting
is Turing-complete (
Konrad Hinsen
via
matrix
)
)