Simple and Minimum-Cost Satisfiability for Goal Models
A machine program for theorem-proving