Horswill, Ian. “CatSAT: A Practical, Embedded, SAT Language for Runtime PCG”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 14, no. 1 (September 25, 2018): 38-44. Accessed July 22, 2024. https://ojs.aaai.org/index.php/AIIDE/article/view/13026.