Embedded finite models and constraint databases. 2001. Survey for the book based on D1MACS (1999)

by L Libkin