Kelly, J., A. Calderwood, N. Wardrip-Fruin, and M. Mateas. “There and Back Again: Extracting Formal Domains for Controllable Neurosymbolic Story Authoring”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, vol. 19, no. 1, Oct. 2023, pp. 64-74, doi:10.1609/aiide.v19i1.27502.