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