@misc{indiciae8ba5ce464a75,
  title = {Constraint-Based Synthesis of Coupling Proofs},
  author = {Aws Albarghouthi and Justin Hsu},
  year = {2018},
  url = {https://arxiv.org/abs/1804.04052},
  note = {Source identifier: 1804.04052}
}