Includes supplementary material: sn.pub/extras
Georg Gottlob
Computational Complexity Computer Science Logic Constraint Fuzzy Fuzzy Logic Induction Mathematical Logic Partition algorithm complexity databases logic logic programming programming semantics