@inproceedings{SPLC-2009-WhiteDSB,
	author        = "Jules White and Brian Dougherty and Douglas C. Schmidt and David Benavides",
	booktitle     = "{Proceedings of the 13th International Software Product Line Conference}",
	doi           = "10.1145/1753235.1753238",
	pages         = "11--20",
	publisher     = "{ACM}",
	series        = "{ACM International Conference Proceeding Series}",
	title         = "{Automated reasoning for multi-step feature model configuration problems}",
	volume        = 446,
	year          = 2009,
}