editors. Constraint Databases (2000)

by G Kuper, L Libkin, J Paredaens