Constraint Databases door Gabriel Kuper & Leonid Libkin