Belief Revision: from Theory to Practice