Fausto Giunchiglia Luca Spalazzi Paolo Traverso Planning with Failure. 74-79 1994 AIPS db/conf/aips/aips1994.html#GiunchigliaST94