Reniers. Rule formats for distributivity (0)

by L Aceto, M Cimini, A Ingólfsdóttir, M R Mousavi, M A
Venue:Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Proceedings, volume 6638 of Lecture