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