@ARTICLE{
author={Honsell Furio,Lenisa Marina,Scagnetto Ivan,Liquori Luigi,Maksimovic Petar},
year={2016},
title={An open logical framework},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={26},
number={1},
pages={293-335},
document_type={Article},
}