Monadic theory of term rewritings | IEEE Conference Publication | IEEE Xplore