Interleaving belief revision and reasoning: preliminary report - Sadri, F; Toni, F (2005)