Rule Formats for Distributivity.

Luca Aceto, Matteo Cimini, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers

Browse the full LATA paper archive.