@inproceedings {6388,
	title = {A Graph Solver for the Automated Generation of Consistent Domain-Specific Models},
	booktitle = { 40th International Conference on Software Engineering (ICSE 2018)},
	year = {2018},
	month = {2018},
	publisher = {ACM},
	organization = {ACM},
	address = {Gothenburg, Sweden},
	author = {Oszk{\'a}r Semer{\'a}th and Andr{\'a}s Szabolcs Nagy and D{\'a}niel Varr{\'o}}
}
