@misc{indiciae7f92ae49c18b,
  title = {Strategy-Enhanced Interactive Proving and Arithmetic Simplification for PVS},
  author = {diVito, Ben L.},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20030067566},
  note = {Source identifier: 20030067566}
}