Set of Equations / Term Rewriting System info Introduce either a Set of Equations:
(VAR ...)(EQUATIONS l1 = r1 ...)
Or a Term Rewriting System:
(VAR ...)(RULES l1 -> r1 ...)
Upload

Complete to SCR!

[LP26]
Salvador Lucas and Julia Pagan.
Completion to strongly confluent term rewriting systems.
In Fernando Sáenz, editor, Proceedings XXV Jornadas sobre Programación y Lenguajes, PROLE 2026, Alicante, Spain, 16–18th July 2026 , volume to appear, 2026.