A logic programming approach to knowledge-state planning, II: The DLV<sup>K</sup> system.

Thomas Eiter Wolfgang Faber Nicola Leone Gerald Pfeifer Axel Polleres A logic programming approach to knowledge-state planning, II: The DLV<sup>K</sup> system. 157-211 2003 144 Artif. Intell. 1-2 http://dx.doi.org/10.1016/S0004-3702(02)00367-3 db/journals/ai/ai144.html#EiterFLPP03