A. Smith, “Answer Set Programming in Proofdoku”, AIIDE, vol. 13, no. 2, pp. 118-124, Oct. 2017.