A generalization of the b-function lemma
  We establish some cohomological bounds in D-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the b-function lemma for non-holonomic D-modules. 
Sam Raskin
math.AG