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

}