Horswill, Ian. 2018. “CatSAT: A Practical, Embedded, SAT Language for Runtime PCG”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 14 (1):38-44. https://doi.org/10.1609/aiide.v14i1.13026.