Priorities on context conditions in rewriting systems

From MaRDI portal
Publication:754654