Vol-3008⫷ Vol-3009 ⫸Vol-3010
urn:nbn:de:0074-3009-0


Vol-3009/paper1⫷Vol-3009/abstract1⫸Vol-3009/short1
Leopoldo E. Bertossi

Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract)