Constructing conditional plans by a theorem-prover (1999)

by J Rintanen
Venue:J. of Artificial Intelligence Research