María Alpuente Marco Comini Santiago Escobar Moreno Falaschi José Iborra A compact fixpoint semantics for term rewriting systems. 3348-3371 2010 411 Theor. Comput. Sci. 37 http://dx.doi.org/10.1016/j.tcs.2010.05.012 db/journals/tcs/tcs411.html#AlpuenteCEFI10