Combined Covers and Beth Definability.

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Browse the full CADE paper archive.