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

@ARTICLE{
author={Di Gianantonio Pietro,Jaksic Svetlana,Lenisa Marina},
year={2010},
title={Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus},
journal={CONCUR 2010 - CONCURRENCY THEORY},
volume={6269},
number={},
pages={358-+},
document_type={Proceedings Paper},
}