Constructing conditional plans by a theorem prover (0)

by J RINTANEN
Venue:Journal of Artificial Intelligence Research