Proc. of the 10th Int. Conf. on Topology, Algebra and Categories in Logic (TACL 2022). 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 2022)", }pdf url