@book{53107,
	author = {Uma G.Gupta},
	title = {Validating and verifying knowledge-based systems},
	publisher = {IEEE computer society Press},
	year = {1990},
	address = {California}
}