Constraint Databases. (2010)

by G Kuper, L Libkin, J Paredaens