Kelly J, Calderwood A, Wardrip-Fruin N, Mateas M. There and Back Again: Extracting Formal Domains for Controllable Neurosymbolic Story Authoring. AIIDE [Internet]. 2023Oct.6 [cited 2024Jul.17];19(1):64-7. Available from: https://ojs.aaai.org/index.php/AIIDE/article/view/27502