Summerville, A.; Martens, C.; Samuel, B.; Osborn, J.; Wardrip-Fruin, N.; Mateas, M. Gemini: Bidirectional Generation and Analysis of Games via ASP. AIIDE 2018, 14, 123-129.