Media type: E-Article Title: Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations Contributor: Ghilardi, Silvio [VerfasserIn]; Gianola, Alessandro [VerfasserIn]; Kapur, Deepak [VerfasserIn] imprint: 2020 Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 67-81 Language: English Origination: Footnote: Access State: Open Access