@misc{indiciae273966487b50,
  title = {Automating symbolic analysis with CLIPS},
  author = {Morris, Keith E.},
  year = {1990},
  url = {https://ntrs.nasa.gov/citations/19960001804},
  note = {Source identifier: 19960001804}
}