@article {232, title = {Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies}, journal = {Journal of Computer and System Sciences}, volume = {80}, year = {2014}, pages = {1102{\textendash}1118}, author = {Santiago Figueira and Daniel Gori{\i}n and Rafael Grimson} }