Horswill, I. CatSAT: A Practical, Embedded, SAT Language for Runtime PCG. AIIDE 2018, 14, 38-44.