Distributed Variable Server for Atomic Unification.

Alon Kleinman, Yoram Moses, Ehud Shapiro

Browse the full PODC paper archive.