@misc{indiciae8bfc7552aac0,
  title = {STAR (Simple Tool for Automated Reasoning): Tutorial guide and reference manual},
  author = {Borchardt, G. C.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19860019163},
  note = {Source identifier: 19860019163}
}