@Article{inspf,
author = {R\u{a}zvan Diaconescu},
title = {Proof Systems for Institutional Logic},
journal = {Journal of Logic and Computation},
year = 2006,
volume = 16,
number = 3,
pages = {339--357}
}