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