abs-1203-5423'

@proceedings{DBLP:journals/corr/abs-1203-5423,
  editor    = {Simona Ronchi Della Rocca and
               Elaine Pimentel},
  title     = {Proceedings 6th Workshop on Logical and Semantic Frameworks
               with Applications},
  booktitle = {LSFA},
  series    = {EPTCS},
  volume    = {81},
  year      = {2011},
  ee        = {http://dx.doi.org/10.4204/EPTCS.81},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}