@article{amicrokernelarchitectureforconstraint,
  title = {A Microkernel Architecture for Constraint Programming},
  author = {Laurent Michel and Pascal Van Hentenryck},
  year = {2014},
  eprint = {1401.5334},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1401.5334v1},
}