Seiji Koide Hideaki Takeda Formulation of Hierarchical Task Network Service (De)composition. 2007 SMRR http://ceur-ws.org/Vol-243/SMR2-2007-paper8.pdf conf/semweb/2007smrr db/conf/semweb/smrr2007.html#KoideT07