Marc Spielmann Verification of Relational Transducers for Electronic Commerce. 92-103 2000 PODS db/conf/pods/pods2000.html#Spielmann00 conf/pods/00 http://doi.acm.org/10.1145/335168.335212 db/conf/pods/Spielmann00.html conf/pods/AbiteboulHB96 books/aw/AbiteboulHV95 conf/pods/AbiteboulVFY98 ... ... conf/coco/DantsinEGV97 ... books/el/leeuwen90/Emerson90 conf/ideas/FordhamAY97 conf/ewdw/GottlobKS90 ... ... conf/cav/ImmermanV97 conf/pods/LevyMSS93 journals/jcss/PicouetV98 ... ... conf/cav/Spielmann99 conf/stoc/Vardi82 conf/pods/Vardi95