@inproceedings{ZivanSZM06,
  author    = {Roie Zivan and
               Uri Shapen and
               Moshe Zazone and
               Amnon Meisels},
  title     = {Retroactive Ordering for Dynamic Backtracking},
  booktitle = {CP},
  year      = {2006},
  pages     = {766-771},
}