Vladimir Lifschitz Answer Set Planning. 23-37 1999 ICLP db/conf/iclp/iclp99.html#Lifschitz99