Rewriting logic and its applications 14th international workshop, WRLA 2022, Munich, Germany, April 2-3, 2022 : revised selected papers - Bae, Kyungmin (Springer, 2022)