Manam, V. K. C.; Thomas, J. D.; Quinn, A. J. TaskLint: Automated Detection of Ambiguities in Task Instructions. HCOMP 2022, 10, 160-172.