Alon Kleinman Yoram Moses Ehud Y. Shapiro Distributed Variable Server for Atomic Unification. 59-74 1990 PODC db/conf/podc/podc90.html#KleinmanMS90 http://doi.acm.org/10.1145/93385.93401