@misc{indiciae1a5de44e3d00,
  title = {Methodology for testing and validating knowledge bases},
  author = {Krishnamurthy, C. and Padalkar, S. and Sztipanovits, J. and Purves, B. R.},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19880006982},
  note = {Source identifier: 19880006982}
}