BibTex format
@inproceedings{van:2000,
author = {van, Bakel S and Barbanera, F and Fernandez, M},
pages = {41--60},
publisher = {Springer Verlag},
title = {Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and beta-rule},
year = {2000}
}