J. Kelly, A. Calderwood, N. Wardrip-Fruin, and M. Mateas, “There and Back Again: Extracting Formal Domains for Controllable Neurosymbolic Story Authoring”, AIIDE, vol. 19, no. 1, pp. 64-74, Oct. 2023.