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