@inproceedings{conf/csr/Fitting08,
	title = {S4LPand Local Realizability.},
	author = {Melvin Fitting},
	booktitle = {CSR},
	crossref = {conf/csr/2008},
	editor = {Edward A. Hirsch and Alexander A. Razborov and Alexei L. Semenov and Anatol Slissenko},
	pages = {168-179},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/csr/csr2008.html#Fitting08},
	volume = {5010},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2f6c7775d4f6c4dd338fbb0c61d3a82cb/dblp},
	description = {dblp},
	date = {2008-05-16}, ee = {http://dx.doi.org/10.1007/978-3-540-79709-8_19}, isbn = {978-3-540-79708-1},
	keywords = {dblp }
}