@article{journals/sLogica/BeesonVW05,
	title = {Double-Negation Elimination in Some Propositional Logics.},
	author = {Michael Beeson and Robert Veroff and Larry Wos},
	journal = {Studia Logica},
	number = {2-3},
	pages = {195-234},
	url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica80.html#BeesonVW05},
	volume = {80},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/20ae23e9746333ff0c4339b33d426a6ff/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s11225-005-8469-4}, date = {2006-01-13},
	keywords = {dblp }
}