@inproceedings { 130,
	title = {Simple and Minimum-Cost Satisfiability for Goal Models.},
	journal = {16th Conference On Advanced Information Systems Engineering (CAiSE*04)},
	year = {2004},
	keywords = {pub},
	author = {P. Giorgini and J. Mylopoulos and R. Sebastiani}
}