A logic programming approach to knowledge-state planning (2003)

by T Eiter, W Faber, N Leone, G Pfeifer, A Polleres
Venue:The DLV K system. Artif. Intell