The procedures for belief revision

Cannot connect to DataBase