BibTeX record conf/lanmr/Everardo019a

• > Home > conf/lanmr/Everardo019a

@inproceedings{DBLP:conf/lanmr/Everardo019a,
  author       = {Flavio Everardo and
                  Mauricio Osorio},
  editor       = {Pilar Pozos Parra and
                  Jos{\'{e}} Raymundo Marcial{-}Romero},
  title        = {Towards an Answer Set Programming Methodology for Constructing Programs
                  Following a Semi-Automatic Approach - Extended and Revised version},
  booktitle    = {Selected Papers of the Eleventh and Twelfth Latin American Workshop
                  on Logic/Languages, Algorithms and New Methods of Reasoning, {LANMR}
                  2018, Puebla, Mexico, November 15, 2018 {\&} {LANMR} 2019, Puebla,
                  Mexico, November 15, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {354},
  pages        = {29--44},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2020.10.004},
  doi          = {10.1016/J.ENTCS.2020.10.004},
  timestamp    = {Mon, 28 Aug 2023 21:17:42 +0200},
  biburl       = {https://dblp.org/rec/conf/lanmr/Everardo019a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}