@inproceedings{SPLC-2009-MendoncaWC,
	author        = "Marcílio Mendonça and Andrzej Wasowski and Krzysztof Czarnecki",
	booktitle     = "{Proceedings of the 13th International Software Product Line Conference}",
	doi           = "10.1145/1753235.1753267",
	pages         = "231--240",
	publisher     = "{ACM}",
	series        = "{ACM International Conference Proceeding Series}",
	title         = "{SAT-based analysis of feature models is easy}",
	volume        = 446,
	year          = 2009,
}