Key points are not available for this paper at this time.
Institute for Software Research
Resnick et al. (Sat,) studied this question.