Constraint Databases by Gabriel Kuper & Leonid Libkin