@misc{indiciaea74664062938,
  title = {Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)},
  author = {Paolo Masci and Aaron Dutle},
  url = {https://ntrs.nasa.gov/citations/20210026165},
  note = {Source identifier: 20210026165}
}