Necessary and sufficient conditions for the local solvability in hyperfuctions of a class of systems of complex vector fields - Cordaro, Paulo Domingos; Trèves, François (Inventiones Mathematicae, 1995)