Belief revision in Horn theories