Lawrence J. Henschen, William McCune, Shamim A. Naqvi. Compiling Constraint-Checking Programs from First-Order Formulas. In Advances in Data Base Theory. pages 145-169, 1982.
No references recorded for this publication.
No citations of this publication recorded.