François Bry Hendrik Decker Rainer Manthey A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. 488-505 1988 conf/edbt/88 EDBT EDBT88/P488.pdf db/conf/edbt/edbt88.html#BryDM88 http://dx.doi.org/10.1007/3-540-19074-0_69 books/mk/minker88/AptBW88 ... conf/sigmod/Bocca86 conf/vldb/BryM86 ... conf/eds/Decker86 conf/vldb/KowalskiSS87 ... ... conf/iclp/LassezMP87 journals/dke/Ling87 ... ... conf/cade/MantheyB88 journals/acta/Nicolas82 ... conf/iclp/Vieille87