Key points are not available for this paper at this time.
PhD
Raymond Reiter (Sun,) studied this question.