S. Cash and R. Young, “Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains”, AIIDE, vol. 5, no. 1, pp. 14-19, Oct. 2009.