@inproceedings{RE-2012-GreenyerSCH,
	author        = "Joel Greenyer and Amir Molzam Sharifloo and Maxime Cordy and Patrick Heymans",
	booktitle     = "{Proceedings of the 20th International Requirements Engineering Conference}",
	doi           = "10.1109/RE.2012.6345800",
	isbn          = "978-1-4673-2783-1",
	pages         = "161--170",
	publisher     = "{IEEE Computer Society}",
	title         = "{Efficient consistency checking of scenario-based product-line specifications}",
	year          = 2012,
}