Information derivability analysis in logical information systems
2004 ◽
Vol 40
(3)
◽
pp. 383-419
◽