@inproceedings{DBLP:conf/epia/CabalarFC0V17, title = {On the Properties of Atom Definability and Well-Supportedness in Logic Programming}, author = {Cabalar, Pedro and Fandinno, Jorge and del Cerro, Luis Fari{\~{n}}as and Pearce, David and Valverde, Agust{\'{\i}}n}, booktitle = {{EPIA}}, pages = {624--636}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {10423}, year = {2017} }