Implementation of Belief Change Operators using BDDs

[GorogiannisRyan2002BeliefChange] Nikos Gorogiannis and Mark Ryan. Implementation of Belief Change Operators using BDDs. Studia Logica, 70(1), pages 131-156. 2002.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/01-sl.ps.gz