Integration with respect to local time and Ito's formula for smooth nondegenerate martingales | Publicación