@inproceedings{Sadri:2005, author = {Sadri, F and Toni, F}, title = {Interleaving belief revision and reasoning: preliminary report}, url = {http://pubs.doc.ic.ac.uk/belief-revision-reasoning}, year = {2005} }
TY - CPAPER AU - Sadri,F AU - Toni,F PY - 2005/// TI - Interleaving belief revision and reasoning: preliminary report UR - http://pubs.doc.ic.ac.uk/belief-revision-reasoning ER -