Necessary and sufficient conditions for the local solvability in hyperfunctions of a class of systems of complex vector fields. Francois Treves, Paulo D. Cordaro (1995) Inventiones mathematicae