BibTeX record conf/ruleml/HermenegildoBCLHMMP11

download as .bib file

@inproceedings{DBLP:conf/ruleml/HermenegildoBCLHMMP11,
  author    = {Manuel V. Hermenegildo and
               Francisco Bueno and
               Manuel Carro and
               Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
               R{\'{e}}my Haemmerl{\'{e}} and
               Edison Mera and
               Jos{\'{e}} F. Morales and
               Germ{\'{a}}n Puebla},
  title     = {An Overview of the Ciao System},
  booktitle = {Rule-Based Reasoning, Programming, and Applications - 5th International
               Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
               Proceedings},
  pages     = {2},
  year      = {2011},
  crossref  = {DBLP:conf/ruleml/2011e},
  url       = {https://doi.org/10.1007/978-3-642-22546-8\_2},
  doi       = {10.1007/978-3-642-22546-8\_2},
  timestamp = {Sat, 19 Oct 2019 20:11:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/HermenegildoBCLHMMP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2011e,
  editor    = {Nick Bassiliades and
               Guido Governatori and
               Adrian Paschke},
  title     = {Rule-Based Reasoning, Programming, and Applications - 5th International
               Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6826},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22546-8},
  doi       = {10.1007/978-3-642-22546-8},
  isbn      = {978-3-642-22545-1},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/2011e},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics