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), 38-44. https://doi.org/10.1609/aiide.v14i1.13026