@article{EverardoPerezOsorio2020,
  author    = {Flavio Omar Everardo P{\´e}rez and Mauricio Osorio},
  title     = {Towards an answer set programming methodology for constructing programs following a semi-automatic approach},
  journal   = {Electronic notes in theoretical computer science},
  series    = {extended and revised version},
  volume    = {354},
  pages     = {29 -- 44},
  doi       = {10.1016/j.entcs.2020.10.004},
  year      = {2020},
}