@misc{indiciae2c692be4aeba, title = {Solving the TTC 2011 Compiler Optimization Case with GROOVE}, author = {Arend Rensink and Eduardo Zambon}, year = {2011}, doi = {10.4204/eptcs.74.11}, url = {https://arxiv.org/abs/1111.4746}, note = {Source identifier: 1111.4746} }