“…6 In particular, Sections 3, 4, and 5.2 are completely new. Also, whilst examples in [34] centered the attention in rewriting-based systems, in this paper we show the generality of our approach by also considering examples from relational and deductive databases, logic programming, etc.…”