On properties of update sequences based on causal rejection. (2002)

by T Eiter, M Fink, G Sabbatini, H Tompits
Venue:Theory and Practice of Logic Programming,