author = {Besik Dundua and Georg Ehling and Santiago Escobar and Maribel Fernández and Temur Kutsia},
title = {{Quantitative Equational Rewriting}},
language = {english},
year = {2026},
institution = {Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria},
length = {35}