Sandro Etalle Maurizio Gabbrielli Layered Modes. 225-244 1999 39 J. Log. Program. 1-3 db/journals/jlp/jlp39.html#EtalleG99