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