editors. Constraint databases (2000)

by G M Kuper, L Libkin, J Paredaens