@inproceedings {ahorvath-minisy09,
	title = {Graph Transformation Based Constraint Solving},
	booktitle = {Proceedings of the 16th PhD Minisymposium},
	year = {2009},
	pages = {12{\textendash}15},
	publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	keywords = {Viatra},
	author = {{\'A}kos Horv{\'a}th}
}
