Constructing conditional plans by a theorem-prover (1999)

by J Rintanen
Venue:J. Artif. Intell. Res