@misc{indiciae15aa5205d070,
  title = {Hybrid SRL with Optimization Modulo Theories},
  author = {Stefano Teso and Roberto Sebastiani and Andrea Passerini},
  year = {2014},
  url = {https://arxiv.org/abs/1402.4354},
  note = {Source identifier: 1402.4354}
}