Adam M. Smith. Answer Set Programming in Proofdoku. In The Workshops of the Thirteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE Workshops 2017, Snowbird, UT, USA, October 5-6, 2017. Volume WS-17 of AAAI Workshops, AAAI Press, 2017. [doi]
@inproceedings{Smith17a-3,
title = {Answer Set Programming in Proofdoku},
author = {Adam M. Smith},
year = {2017},
url = {https://aaai.org/ocs/index.php/AIIDE/AIIDE17/paper/view/15885},
researchr = {https://researchr.org/publication/Smith17a-3},
cites = {0},
citedby = {0},
booktitle = {The Workshops of the Thirteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE Workshops 2017, Snowbird, UT, USA, October 5-6, 2017},
volume = {WS-17},
series = {AAAI Workshops},
publisher = {AAAI Press},
isbn = {978-1-57735-792-6},
}