Combination of Quantifier-Free Uniform Interpolants using Beth Definability (Abridged Version)

Proc. of the 10th Int. Conf. on Topology, Algebra and Categories in Logic (TACL). 2022.

@inproceedings{TACL-2022,
   title = "Combination of Quantifier-Free Uniform Interpolants using Beth
Definability (Abridged Version)",
   year = "2022",
   author = "Diego Calvanese and Silvio Ghilardi and Alessandro Gianola and
Marco Montali and Andrey Rivkin",
   booktitle = "Proc. of the 10th Int. Conf. on Topology, Algebra and
Categories in Logic (TACL)",
}