@article{ZivanZM09,
  author    = {Roie Zivan and
               Moshe Zazone and
               Amnon Meisels},
  title     = {Min-domain retroactive ordering for Asynchronous Backtracking},
  journal   = {Constraints},
  volume    = {14},
  number    = {2},
  year      = {2009},
  pages     = {177-198},
}