BibTex format
@article{van:1997,
author = {van, Bakel S and Liquori, L and Ronchi, della Rocca S and Urzyczyn, P},
journal = {Annals of Pure and Applied Logic},
pages = {267--303},
title = {Comparing Cubes of Typed and Type Assignment Systems},
volume = {86},
year = {1997}
}