BibTeX record conf/cilc/2013

download as .bib file

@proceedings{DBLP:conf/cilc/2013,
  editor    = {Domenico Cantone and
               Marianna Nicolosi Asmundo},
  title     = {Proceedings of the 28th Italian Conference on Computational Logic,
               Catania, Italy, September 25-27, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1068},
  publisher = {CEUR-WS.org},
  year      = {2013}
}
maintained by Schloss Dagstuhl LZI at University of Trier