@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} }