@inproceedings{DBLP:conf/lanmr/Everardo019, title = {Towards an answer set programming methodology for constructing programs following a semi-automatic approach}, author = {Everardo, Flavio and Osorio, Mauricio}, booktitle = {{LANMR}}, pages = {61--72}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, volume = {2585}, year = {2019} }