@Article{DBLP:journals/tocl/BonchiGM14,
   assoc_res = {Filippo Bonchi},
   status = {public},
   number = {4},
   task = {T2.2},
   doi = {10.1145/2631916},
   year = {2014},
   invited = {no},
   volume = {15},
   main = {no},
   issn = {1529-3785},
   title = {{A General Theory of Barbs, Contexts, and Labels}},
   author = {Filippo Bonchi and Fabio Gadducci and Giacoma Valentina Monreale},
   period = {year4},
   journal = {{ACM} Transactions in Computational Logic},
   partner = {UNIPI},
   wp = {WP2},
   pages = {35}
}