Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers - Bae, Kyungmin. (Springer International Publishing AG, 2022)