BibTex format
@article{van:2010:10.1016/j.apal.2010.04.004,
author = {van, Bakel S and Berardi, S and Berger, U},
doi = {10.1016/j.apal.2010.04.004},
journal = {ANNALS OF PURE AND APPLIED LOGIC},
pages = {1313--1314},
title = {Classical Logic and Computation (2008) Preface},
url = {http://dx.doi.org/10.1016/j.apal.2010.04.004},
volume = {161},
year = {2010}
}