Nikos Gorogiannis Mark Ryan Implementation of Belief Change Operators Using BDDs. 131-156 2002 70 Studia Logica 1 db/journals/sLogica/sLogica70.html#GorogiannisR02