Answer set planning (1999)

by V Lifschitz
Venue:In Proceedings of ICLP