Rewriting logic and its applications 9th international workshop, WRLA 2012, held as a satellite event of ETAPS 2012, Tallinn, Estonia, March 24 - 25, 2012 ; revised selected papers (Springer, 2012)