@proceedings {5249,
	title = {Iterative and incremental model generation by logic solvers},
	journal = {19th International Conference on Fundamental Approaches to Software Engineering},
	year = {2016},
	month = {04/2016},
	address = {Eindhoven, The Netherlands},
	url = {http://www.etaps.org/index.php/2016/fase/fase-accepted},
	author = {Oszk{\'a}r Semer{\'a}th and Andr{\'a}s V{\"o}r{\"o}s and D{\'a}niel Varr{\'o}}
}
