@misc{indiciae3999012335ba,
  title = {Theory Interpretations in PVS},
  author = {Owre, Sam and Shankar, Natarajan and Butler, Ricky W.},
  year = {2001},
  url = {https://ntrs.nasa.gov/citations/20010066742},
  note = {Source identifier: 20010066742}
}