NP-Logic Systems and Model-Equivalence Reductions
2010 ◽
Vol 24
◽
pp. 130-138
2010 ◽
Vol 25
(6)
◽
pp. 1321-1326
2021 ◽
pp. 014233122110066
Keyword(s):
2011 ◽
Vol 62
(2)
◽
pp. 147-163
◽
2017 ◽
Vol 9
(2)
◽
pp. 147-157
◽
2005 ◽
Vol 152
(2)
◽
pp. 303-320
◽
2008 ◽
Vol 47
(4)
◽
pp. 2016-2043
◽
Keyword(s):