@misc{indiciaec14fc7b595ab,
  title = {Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code},
  author = {K. C. Shashidhar and Maurice Bruynooghe and Francky Catthoor and Gerda Janssens},
  year = {2007},
  url = {https://arxiv.org/abs/0710.4689},
  note = {Source identifier: 0710.4689}
}