@inproceedings{DBLP:conf/lanmr/Everardo019a,
  title = {Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version},
  author = {Everardo, Flavio and Osorio, Mauricio},
  booktitle = {{LANMR} (Selected Papers)},
  pages = {29--44},
  publisher = {Elsevier},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {354},
  year = {2019}
}