@INPROCEEDINGS{dixetal03KIb,
  author       = {Juergen Dix, Ugur Kuter, Dana Nau},
  title        = {Planning in Answer Set Programming using Ordered Task Decomposition},
  booktitle    = {Proceedings of the 27th German Annual Conference on
                  Artificial Intelligence (KI '03), Hamburg, Germany},
  year         = 2003,
  pages        = {490--504},
   editor       = {A.Günther, R. Kruse, B. Neumann},
  publisher    = {Springer},
  address      = {Berlin},
  series       = {LNAI 2821},
}