Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.

Susana Nieva, Jaime Snchez-Hernndez, Fernando Senz-Prez

Browse the full FLOPS paper archive.