Smith, A. (2017). Answer Set Programming in Proofdoku. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 13(2), 118-124. https://doi.org/10.1609/aiide.v13i2.12972