Rewriting logic and its applications 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018 : proceedings - Rusu, Vlad (Springer, 2018)