Rewriting logic and its applications. 9th international workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24--25, 2012. Revised selected papers
scientific article; zbMATH DE number 6094064