@Inproceedings{EPTCS159.7, author = {Ziegert, Steffen}, year = {2014}, title = {Graph Transformation Planning via Abstraction}, editor = {Bo\v{s}na\v{c}ki, Dragan and Edelkamp, Stefan and Lluch Lafuente, Alberto and Wijs, Anton}, booktitle = {{\rm Proceedings 3rd Workshop on} GRAPH Inspection and Traversal Engineering, {\rm Grenoble, France, 5th April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {159}, publisher = {Open Publishing Association}, pages = {71-83}, doi = {10.4204/EPTCS.159.7}, }