Range Allocation for Equivalence Logic

@inproceedings{Pnueli2001RangeAF,
  title={Range Allocation for Equivalence Logic},
  author={Amir Pnueli and Yoav Rodeh and Ofer Strichman},
  booktitle={FSTTCS},
  year={2001}
}