Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso  Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.   In:  Formal Techniques for Distributed Systems (FMOODS/FORTE 2010).   Lecture Notes in Computer Science, 6117 .  Springer, pp. 2-16.  ISBN 978-3-642-13463-0      (2010)