Constructing Conditional Plans by a TheoremProver (1999)

by J Rintanen
Venue:Journal of Artificial Intellegence Research