Singularities of solutions to nonlinear Schrödinger equations

We study the wave front set of the solutions of the initial value problem for nonlinear Schrödinger equations via wave packet transform. We give an sufficient condition which assures that the solutions is in Sobolev space of order s in a given direction at a given time.