SOS rule formats for idempotent terms and idempotent unary operators - Aceto, Luca; Ingolfsdottir, Anna; Goriac, Eugen-Ioan (The journal of logic and algebraic programming, 2014)