Representation independent query and update operations on propositional definite Horn formulas
1987 ◽
pp. 208-223
◽
Keyword(s):
2017 ◽
Vol 658
◽
pp. 264-292
◽
Keyword(s):
1995 ◽
pp. 110-122
Keyword(s):
Keyword(s):
Keyword(s):
2017 ◽
Vol 658
◽
pp. 346-356
◽
Keyword(s):
2016 ◽
Vol 73
(1)
◽
pp. 1-15
◽
1995 ◽
Vol 5
(1)
◽
pp. 69-111
◽
2008 ◽
Vol 156
(10)
◽
pp. 1606-1622
◽