Constructing conditional plans by a theorem prover (1999)

by J Rintanen
Venue:Journal of AI Research