Compiling Constraint-Checking Programs from First-Order Formulas (1984)

by L Henschen, W McCune, S Naqvi
Venue:Advances in Database Theory