Horswill, I. “CatSAT: A Practical, Embedded, SAT Language for Runtime PCG”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, vol. 14, no. 1, Sept. 2018, pp. 38-44, doi:10.1609/aiide.v14i1.13026.