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