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, June 16–18, 2026 , paper 11, pages 1-21, Sistedes 2026.