@article {103,
	title = {Martin-Lof identity types in the C-systems defined by a universe category},
	journal = {arXiv 1505.06446, submitted},
	year = {2015},
	pages = {1{\textendash}51},
	url = {http://arxiv.org/abs/1505.06446},
	author = {Voevodsky, Vladimir}
}