@misc{indiciae92e1fd9bd0af,
  title = {From Strong Amalgamability to Modularity of Quantifier-Free Interpolation},
  author = {Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise},
  year = {2012},
  url = {https://arxiv.org/abs/1203.3730},
  note = {Source identifier: 1203.3730}
}