T. Chakraborti, J. Kang, F. Fuggitti, M. Katz, and S. Sohrabi, “Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction”, AAAI, vol. 38, no. 21, pp. 23775–23777, Mar. 2024.