Dov M. Gabbay Odinaldo Rodrigues John Woods Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. 601-652 2002 10 Logic Journal of the IGPL 6 http://www3.oup.co.uk/igpl/Volume_10/Issue_06/#Gabbay db/journals/igpl/igpl10.html#GabbayRW02