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