@inproceedings{DBLP:conf/lanmr/Everardo019,
  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 = {2585},
  pages = {61--72},
  publisher = {CEUR-WS.org},
  year = {2019}
}