@misc{indiciaef565e29b70aa,
  title = {Expert system validation in prolog},
  author = {Stock, Todd and Stachowitz, Rolf and Chang, Chin-Liang and Combs, Jacqueline},
  year = {1988},
  url = {https://ntrs.nasa.gov/citations/19890006204},
  note = {Source identifier: 19890006204}
}