Jürgen Dix, Ugur Kuter, Dana S. Nau. Planning in Answer Set Programming using Ordered Task Decomposition. In Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. pages 521-576, College Publications, 2005.
@inproceedings{DixKN05, title = {Planning in Answer Set Programming using Ordered Task Decomposition}, author = {Jürgen Dix and Ugur Kuter and Dana S. Nau}, year = {2005}, tags = {programming}, researchr = {https://researchr.org/publication/DixKN05}, cites = {0}, citedby = {0}, pages = {521-576}, booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One}, editor = {Sergei N. Artëmov and Howard Barringer and Artur S. d Avila Garcez and Luís C. Lamb and John Woods}, publisher = {College Publications}, isbn = {1-904987-25-7}, }