@inproceedings{TEMP:dc/lpnmr/Perez17,
  author = {P{\'{e}}rez, Flavio Omar Everardo},
  title = {Sampling and Search Space with Answer Set Programming},
  pages = {1--4},
  booktitle = {DC@LPNMR},
  year = {2017}
}