Weidenbach, C., & Wischnewski, P. (2010). Subterm Contextual Rewriting. AI Communications, 23(2-3), 97-109. doi:10.3233/AIC-2010-0459.