TY  - RPRT
TI  - Uniform Interpolants in EUF: Algorithms using DAG-representations
AU  - Silvio Ghilardi
AU  - Alessandro Gianola
AU  - Deepak Kapur
PY  - 2022
DO  - 10.46298/lmcs-18(2:2)2022
UR  - https://arxiv.org/abs/2002.09784
ID  - 2002.09784
ER  -