Lawrence J. Henschen William McCune Shamim A. Naqvi Compiling Constraint-Checking Programs from First-Order Formulas. 145-169 1982 Advances in Data Base Theory db/conf/adbt/adbt82.html#HenschenMN82