Second microlocal ellipticity and propagation of conormality for semilinear wave equations - Sá Barreto, Antonio (Universidade Federal de Pernambuco, Centro de Ciencias Exatas e da Natureza de, 1990)