Fan Yang: Extending the language and applications of Maude-NPA through rewriting semantics. University of Illinois Urbana-Champaign, USA 2019