A Rule Format for Associativity.

Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers

Browse the full CONCUR paper archive.