D. Flickinger, A. Koller, and S. Thater, “A new well-formedness criterion for semantics debugging”, hpsg, pp. 129–142, Oct. 2005.