@InProceedings{components,
author  = {Chiu Wo Choi and Martin Henz and Ka Boon Ng},
title   = {Components for State Restoration in Tree Search},
booktitle = {Proceedings of the Seventh International Conference on Principles
and Practice of Constraint Programming},
editor = {Toby Walsh},
year = {2001},
publisher =   {Springer Verlag},
series =      {Lecture Notes in Computer Science, vol. 2239},
}