@misc{indiciaebff5cb65734b,
  title = {Discovering Knowledge using a Constraint-based Language},
  author = {Patrice Boizumault and Bruno Crémilleux and Mehdi Khiari and Samir Loudni and Jean-Philippe Métivier},
  year = {2011},
  url = {https://arxiv.org/abs/1107.3407},
  note = {Source identifier: 1107.3407}
}