@misc{indiciae3b4834bcf858,
  title = {Problem-Solving Software},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/20020083260},
  note = {Source identifier: 20020083260}
}