A number of the references on the efficacy list include discussions of the elimination of nightmares as part of the standard PTSD configuration. However, as far as I know, no sleep researchers have investigated the EMDR applications in sleep labs.