@misc{indiciaeb02faa2faf48,
  title = {Uniform Interpolants in EUF: Algorithms using DAG-representations},
  author = {Silvio Ghilardi and Alessandro Gianola and Deepak Kapur},
  year = {2022},
  doi = {10.46298/lmcs-18(2:2)2022},
  url = {https://arxiv.org/abs/2002.09784},
  note = {Source identifier: 2002.09784}
}