PARTIES / tools / adt2maude