Home
Nicolas Bruno, Surajit Chaudhuri, Ravishankar Ramamurthy (sigmod, 2009, demo)
dbs.uni-leipzig.de/david