TY  - RPRT
TI  - Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases
AU  - Leopoldo Bertossi
PY  - 2021
UR  - https://arxiv.org/abs/2108.08423
ID  - 2108.08423
ER  -