V. K. C. Manam, J. D. Thomas, and A. J. Quinn, “TaskLint: Automated Detection of Ambiguities in Task Instructions”, HCOMP, vol. 10, no. 1, pp. 160-172, Oct. 2022.