Encoding planning problems in nonmonotonic logic programs (1997)

by Y Dimopoulos, B Nebel, J Koehler
Venue:In Proc. ECP