Thomas Eiter Michael Fink Giuliana Sabbatini Hans Tompits On Properties of Update Sequences Based on Causal Rejection. 711-767 2002 2 TPLP 6 db/journals/tplp/tplp2.html#EiterFST02