Kelly, J.; Calderwood, A.; Wardrip-Fruin, N.; Mateas, M. There and Back Again: Extracting Formal Domains for Controllable Neurosymbolic Story Authoring. AIIDE 2023, 19, 64-74.