A. Summerville, C. Martens, B. Samuel, J. Osborn, N. Wardrip-Fruin, and M. Mateas, “Gemini: Bidirectional Generation and Analysis of Games via ASP”, AIIDE, vol. 14, no. 1, pp. 123–129, Sep. 2018.