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.
@inproceedings{HenschenMN82,
title = {Compiling Constraint-Checking Programs from First-Order Formulas},
author = {Lawrence J. Henschen and William McCune and Shamim A. Naqvi},
year = {1982},
tags = {constraints, compiler},
researchr = {https://researchr.org/publication/HenschenMN82},
cites = {0},
citedby = {0},
pages = {145-169},
booktitle = {Advances in Data Base Theory},
}