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