@Article{ScopeLogicThm,
author = {R\u{a}zvan Diaconescu and Till Mossakowski and Andrzej Tarlecki},
title = {The institution-theoretic scope of logic theorems},
journal = {Logica Universalis},
volume = 8,
number = 3-4,
pages = {393-406},
year = 2014}