Unification Modulo Synchronous Distributivity.

Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michal Rusinowitch

Browse the full CADE paper archive.