Constructing Conditional Plans by a Theorem-Prover (1999)

by Jussi Rintanen
Venue:Journal of Artificial Intelligence Research