Véronique Benzaken Anne Doucet Thémis: A Database Programming Language Handling Integrity Constraints VLDB J. 4 3 1995 493-517 VLDBJ4/P493.pdf db/journals/vldb/vldb4.html#BenzakenD95 db/journals/vldb/BenzakenD95.html journals/csur/AtkinsonB87 conf/dbpl/BenzakenD93 ... conf/pos/BenzakenLR92 ... conf/edbt/BryDM88 conf/vldb/BryM86 ... journals/scp/Cardelli87 conf/popl/Cardelli88 journals/csur/CardelliW85 journals/toplas/Castagna95 ... journals/iandc/CastagnaGL95 ... conf/vldb/GardarinM79 conf/sigmod/HsuI85 ... conf/vldb/KowalskiSS87 ... journals/acta/Nicolas82 journals/tods/SheardS89 conf/sigmod/Stonebraker75 journals/is/WeberSK83