Encoding planning problems in nonmonotonic logic programs (1997)

by Y Dimopoulos, B Nebel, J Koehler
Venue:In Proceedings of European Conference on Planning. 169–181