Robuta

https://uwaterloo.ca/data-systems-group/references/projective-beth-definability-and-craig-interpolation-0 Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to... beth definability craig interpolation relational query projective optimization https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.19 Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time polynomial time definability cai immerman problems