@article{trevisan00interactive,
	title = {Interactive and Probabilistic Proof-checking},
	author = {L. Trevisan},
	journal = {Annals of Pure and Applied Logic},
	pages = {325--342},
	url = {citeseer.ist.psu.edu/trevisan00interactive.html},
	volume = {104},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/25e9e44575a3687fc51e69061bdbf35ba/schaul},
	description = {idsia},
	priority = {2}, citeulike-article-id = {2382077},
	keywords = {juergen }
}