@PhDThesis{Lagerkvist:Lic:Diss:2008,
   Author =    "Mikael Z. Lagerkvist",
   Title =     "Techniques for Efficient Constraint Propagation",
   Type =      "phdthesis",
   School =    "Royal Institute of Technology",
   Year =      2008,
   URL =       "http://www.gecode.org/paper.html?id=Lagerkvist:Lic:Diss:2008"
}