@misc{89456,
  author = {Peter Denno and Nenad Ivezic},
  title = {Message Validation with a Semantic Reasoning Tools},
  year = {2006},
  month = {2006-09-01},
  publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.7347},
  language = {en},
}