SOS rule formats for zero and unit elements

Autor: Aceto, Luca, Cimini, Matteo, Ingolfsdottir, Anna, Mousavi, MohammadReza, Reniers, Michel A.
Zdroj: In Theoretical Computer Science 2011 412(28):3045-3071
Databáze: ScienceDirect