@misc{indiciae362eeb6b1707,
  title = {Enhancements to the KATE model-based reasoning system},
  author = {Thomas, Stan J.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/19950011768},
  note = {Source identifier: 19950011768}
}