Rewriting logic and its applications. 13th international workshop, WRLA 2020, virtual event, October 20--22, 2020. Revised selected papers
scientific article; zbMATH DE number 7372790