@misc{indiciae7d46e1eacb58,
  title = {Verification issues for rule-based expert systems},
  author = {Culbert, Chris and Riley, Gary and Savely, Robert T.},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19880006979},
  note = {Source identifier: 19880006979}
}