SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators.

Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir

Browse the full SOFSEM paper archive.