@INPROCEEDINGS{bcs16a-prole16,
  author={F. Bueno and J. Correas and F. S\'aenz-P\'erez},
  title={{Metapredicate Optimization for Datalog Queries through Program Analysis}},
  booktitle={{XVI Jornadas sobre Programaci\'on y Lenguajes, PROLE2016
(SISTEDES)}},
  address={Salamanca, Spain},
  month={September},
  year={2016}
  }