Model Completeness, Covers and Superposition.

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

Browse the full CADE paper archive.