On the Compilation of Consistency Constraints. - Guido Moerkotte; Karl Rösch (DAISD, 1991)