On the proper push-forward of the characteristic cycle of a   constructible sheaf
  We study the compatibility with proper push-forward of the characteristic cycles of a constructible complex on a smooth variety over a perfect field. 
Takeshi Saito
math.AG