Dov M. Gabbay, Odinaldo Rodrigues, John Woods: Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. Log. J. IGPL 10(6): 601-652 (2002)