@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} }