ACID-Unification Is NEXPTIME-Decidable.

Siva Anantharaman, Paliath Narendran, Michal Rusinowitch

Browse the full MFCS paper archive.