Text this: On the implementation of the belief change operators