@article { 131,
	title = {Formal Reasoning Techniques for Goal Models.},
	journal = {Journal of Data Semantics},
	year = {2004},
	keywords = {pub},
	author = {P. Giorgini and J. Mylopoulos and E. Nicchiarelli and R. Sebastiani}
}