Rewriting in operads and PROPs

This paper is an informal collection of observations on how established rewriting techniques can be applied to or need to be adapted for use in non-associative algebras, operads, and PROPs.