Database reasoning — A deductive framework for solving large and complex problems by means of subsumption
Keyword(s):
2003 ◽
Vol 154
(8)
◽
pp. 305-313
◽