From Strong Amalgamability to Modularity of Quantifier-Free Interpolation

Roberto Bruttomesso Silvio Ghilardi Silvio Ranise

Published in: CoRR (2012)

Keyphrases

quantifier free
quantifier elimination
first order logic
rewrite systems
expert systems
constraint propagation
constraint databases