Paper  bibtex   

@article{ dblp2205614,
  title = {The Institution-Theoretic Scope of Logic Theorems},
  author = {Razvan Diaconescu and Till Mossakowski and Andrzej Tarlecki},
  author_short = {Diaconescu, R. and Mossakowski, T. and Tarlecki, A.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp2205614},
  id = {dblp2205614},
  biburl = {http://www.dblp.org/rec/bibtex/journals/lu/DiaconescuMT14},
  url = {http://dx.doi.org/10.1007/s11787-013-0093-x},
  journal = {Logica Universalis (LU)},
  pages = {393-406},
  number = {3-4},
  volume = {8},
  text = {Logica Universalis (LU) 8(3-4):393-406 (2014)}
}