TY  - RPRT
TI  - Evaluating reasoning systems 
AU  - Bock, Conrad
AU  - Gruninger, Michael
AU  - Libes, Don
AU  - Lubell, Joshua
AU  - Subrahmanian, Eswaran
PY  - 2006
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST IR 7310
DO  - 10.6028/NIST.IR.7310
ER  -