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