Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir: SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. SOFSEM 2013: 108-120