I. Horswill, “CatSAT: A Practical, Embedded, SAT Language for Runtime PCG”, AIIDE, vol. 14, no. 1, pp. 38-44, Sep. 2018.