@ARTICLE{
author={Honsell Furio,Liquori Luigi,Maksimovic Petar,Scagnetto Ivan},
year={2018},
title={Plugging-in proof development environments using Locks in LF},
journal={MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
volume={28},
number={9},
pages={1578-1605},
document_type={Article; Proceedings Paper},
} 

@ARTICLE{
author={Honsell Furio,Liquori Luigi,Maksimovic Petar,Scagnetto Ivan},
year={2017},
title={LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={13},
number={3},
pages={-},
document_type={Article},
} 

@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},
}