@misc{indiciae082b6ca93da2,
  title = {Automated Reasoning CICT Program/Intelligent Systems Project ATAC-PRT Review},
  author = {Morris, Robert and Smith, Ben},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20030066325},
  note = {Source identifier: 20030066325}
}