@article {109,
	title = {A C-system defined by a universe category},
	journal = {Theory Appl. Categ.},
	volume = {30},
	year = {2015},
	note = {<p>Prepublication versions in <a href="http://arxiv.org/abs/1409.7925">arXiv</a>.</p>
},
	pages = {No. 37, 1181{\textendash}1215},
	mrclass = {18Cxx (03G30)},
	mrnumber = {3402489},
	issn = {1201-561X},
	url = {http://www.tac.mta.ca/tac/volumes/30/37/30-37abs.html},
	author = {Voevodsky, Vladimir}
}