TaskLint: Automated Detection of Ambiguities in Task Instructions. - V. K. Chaithanya Manam; Joseph Divyan Thomas; Alexander J. Quinn (HCOMP, 2022)