@conference {114,
	title = {SAT-based Analysis of Feature Models is Easy},
	booktitle = {13th International Conference on Software Product Lines (SPLC 2009)},
	year = {2009},
	address = {San Francisco, CA, USA},
	isbn = {978-0-9786956-2-0},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/splc09.pdf , http://gsd.uwaterloo.ca/sites/default/files/splc2009-presentation.pdf},
	author = {Mendon{\c c}a, Marc{\'\i}lio and W{\k a}sowski, Andrzej and Krzysztof Czarnecki}
}