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