Cash, S.; Young, R. Bowyer: A Planning Tool for Bridging the Gap Between Declarative and Procedural Domains. AIIDE 2009, 5, 14-19.