Simple and minimum-cost satisfiability for goal models (2004)

by R Sebastiani, P Giorgini, J Mylopoulos
Venue:In Proc. of CAiSE’04, LNCS 3084