Resolution theorem proving: a logical point of view
Keyword(s):
Keyword(s):
1988 ◽
Vol 3
(1)
◽
pp. 285-316
◽
2003 ◽
Vol 36
(1-2)
◽
pp. 101-115
◽
Keyword(s):
1977 ◽
Vol 9
(1)
◽
pp. 1-35
◽
1989 ◽
Vol 1
(3)
◽
pp. 227-230
◽
1994 ◽
Vol 12
(1)
◽
pp. 103-129
◽