Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains. - Steven P. Cash; R. Michael Young (AIIDE, 2009)