Unification Modulo Chaining.

Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michal Rusinowitch

Browse the full LATA paper archive.