2nd Workshop on Grounding and Transformations for Theories with Variables. Corunna, 15th September, 2013