Rewriting-based Quantifier-free Interpolation for a Theory of Arrays

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise. Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. In Manfred Schmidt-Schauß, editor, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia. Volume 10 of LIPIcs, pages 171-186, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

@inproceedings{BruttomessoGR11,
  title = {Rewriting-based Quantifier-free Interpolation for a Theory of Arrays},
  author = {Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise},
  year = {2011},
  doi = {10.4230/LIPIcs.RTA.2011.171},
  url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2011.171},
  tags = {rule-based, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/BruttomessoGR11},
  cites = {0},
  citedby = {0},
  pages = {171-186},
  booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
  editor = {Manfred Schmidt-Schauß},
  volume = {10},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-30-9},
}