esorics12-variant.maude 3.02 KB