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