On properties of update sequences based on causal rejection - EITER, THOMAS; FINK, MICHAEL; SABBATINI, GIULIANA; TOMPITS, HANS (Theory and practice of logic programming, 2002)
Keywords: logic programming; knowledge-based updates; nonmonotonic reasoning