Smith, A. “Answer Set Programming in Proofdoku”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, vol. 13, no. 2, Oct. 2017, pp. 118-24, doi:10.1609/aiide.v13i2.12972.