@inproceedings {5902,
	title = {Incremental Backward Change Propagation of View Models by Logic Solvers},
	booktitle = {19th International Conference on Model Driven Engineering Languages and Systems},
	year = {2016},
	note = {acceptance rate: 23.7\%},
	month = {07/2016 },
	publisher = {ACM},
	organization = {ACM},
	address = {Saint-malo, France},
	isbn = {978-1-4503-4321-3},
	doi = {10.1145/2976767.2976788},
	url = {http://dl.acm.org/citation.cfm?id=2976788},
	author = {Oszk{\'a}r Semer{\'a}th and Debreceni, Csaba and {\'A}kos Horv{\'a}th and D{\'a}niel Varr{\'o}}
}
