BibTex format
@article{van:2010:10.1016/j.apal.2010.04.010,
author = {van, Bakel S},
doi = {10.1016/j.apal.2010.04.010},
journal = {ANNALS OF PURE AND APPLIED LOGIC},
pages = {1400--1430},
title = {Completeness and partial soundness results for intersection and union typing for (λ)over-barμ(μ)over-tilde},
url = {http://dx.doi.org/10.1016/j.apal.2010.04.010},
volume = {161},
year = {2010}
}