@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}
}