@article{journals/corr/abs-0708-1480,
	title = {Valid formulas, games and network protocols},
	author = {Jean-Louis Krivine and Yves Legrandgérard},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0708.html#abs-0708-1480},
	volume = {abs/0708.1480},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2fc240c377b69bc1a38495842625ecbb8/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/0708.1480}, date = {2008-01-02},
	keywords = {dblp }
}