@misc{indiciae932d46d937ed,
  title = {Linearization of CIF Through SOS},
  author = {Damian Nadales Agut and Michel Reniers},
  year = {2011},
  doi = {10.4204/eptcs.64.6},
  url = {https://arxiv.org/abs/1108.4468},
  note = {Source identifier: 1108.4468}
}