@misc{indiciae0bf35eedc3a5,
  title = {Interpolation in many valued predicate logics using algebraic logic},
  author = {Tarek Sayed Ahmed},
  year = {2013},
  url = {https://arxiv.org/abs/1304.0760},
  note = {Source identifier: 1304.0760}
}