A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems. II
1990 ◽
Vol 32
(4)
◽
pp. 266-273
◽
2003 ◽
Vol 16
(3)
◽
pp. 165-171
◽
1989 ◽
pp. 143-166
1986 ◽
pp. 125-145
◽