Constraint databases - Kuper, Gabriel; Libkin, Leonid; Paredaens, Jan (Springer, 2000)
Ερευνητική Μοναδα 3