@book{22463,
	author = {Subrata Kumar Das},
	title = {Deduction databses and logic programming},
	publisher = {Addison-Wesley,},
	year = {1992},
	address = {Boston,USA:}
}