@misc{indiciaeba643b702e82,
  title = {STP: A Mechanized Logic for Specification and Verification},
  author = {Shostak, R. E. and Schwartz, R. and Melliar-Smith, P. M.},
  year = {1983},
  url = {https://ntrs.nasa.gov/citations/19840017240},
  note = {Source identifier: 19840017240}
}