@misc{indiciae61b90d544f10,
  title = {An overview of Ciao and its design philosophy},
  author = {M. V. Hermenegildo and F. Bueno and M. Carro and P. López-García and E. Mera and J. F. Morales and G. Puebla},
  year = {2011},
  url = {https://arxiv.org/abs/1102.5497},
  note = {Source identifier: 1102.5497}
}