@inproceedings {5251,
	title = {Change Propagation of View Models by Logic Synthesis Using SAT Solvers},
	booktitle = {Fifth International Workshop on Bidirectional Transformations (Bx 2016)},
	year = {2016},
	month = {04/2016},
	address = {Eindhoven, The Netherlands},
	author = {Oszk{\'a}r Semer{\'a}th and Debreceni, Csaba and {\'A}kos Horv{\'a}th and D{\'a}niel Varr{\'o}}
}
