Constraint Databases

Gabriel Kuper , Leonid Libkin , Jan Paredaens