From Strong Amalgamability to Modularity of Quantifier-Free Interpolation.

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise

Browse the full CADE paper archive.