@misc{indiciaebfacea9d5a65,
  title = {Alias and Change Calculi, Applied to Frame Inference},
  author = {Alexander Kogtenkov and Bertrand Meyer and Sergey Velder},
  year = {2013},
  url = {https://arxiv.org/abs/1307.3189},
  note = {Source identifier: 1307.3189}
}