Compiling constraint checking programs from first order formulas (1984)

by McCune Henschen, Nagui
Venue:in H. Gallaire et.al. (Eds), Advances in Database Theory, Vol 2