BibTex format
@article{van:2008:10.1016/j.tcs.2008.01.020,
author = {van, Bakel S},
doi = {10.1016/j.tcs.2008.01.020},
journal = {Theoretical Computer Science},
title = {The Heart of Intersection Type Assignment},
url = {http://dx.doi.org/10.1016/j.tcs.2008.01.020},
year = {2008}
}