"Hierarchical planning in BDI agent programming languages: a formal approach."

Sebastian Sardiña, Lavindra de Silva, Lin Padgham (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics