Lluch-Lafuente, Alberto and Meseguer, José and Vandin, Andrea  State space c-reductions for concurrent systems in rewriting logic.  Working Paper  # /2012        (Unpublished)