HORSWILL, I. CatSAT: A Practical, Embedded, SAT Language for Runtime PCG. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, [S. l.], v. 14, n. 1, p. 38-44, 2018. DOI: 10.1609/aiide.v14i1.13026. Disponível em: https://ojs.aaai.org/index.php/AIIDE/article/view/13026. Acesso em: 22 jul. 2024.