Text this: Rewriting Logic and Its Applications 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers / edited by Santiago Escobar, Narciso Martí-Oliet. [electronic resource] :