@misc{indiciae4e059d487870,
  title = {Reformulating Constraints for Compilability and Efficiency},
  author = {Tong, Chris and Braudaway, Wesley and Mohan, Sunil and Voigt, Kerstin},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19960047164},
  note = {Source identifier: 19960047164}
}