TY  - BOOK
AU  - Uma G.Gupta
TI  - Validating and verifying knowledge-based systems
SN  - 0818689951
U1  - 006.33, 
PY  - 1990///
CY  - California
PB  - IEEE computer society Press
ER  -