@inproceedings{DBLP:conf/lanmr/EverardoO19,
  author = {Everardo, Flavio and Osorio, Mauricio},
  title = {Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach},
  booktitle = {{LANMR}},
  series = {{CEUR} Workshop Proceedings},
  volume = {TBD},
  pages = {TBD},
  publisher = {CEUR-WS.org},
  year = {2019}
}