TY  - RPRT
TI  - Message validation with a semantic reasoning tool 
AU  - Denno, Peter
AU  - Ivezic, Nenad
PY  - 2006
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 7347
DO  - 10.6028/NIST.IR.7347
ER  -