A New Algebraic Tool for Automatic Theorem Provers
2004 ◽
Vol 42
(4)
◽
pp. 369-398
◽
1986 ◽
Vol 2
(2)
◽
pp. 191-216
◽
2013 ◽
Vol 4
(1)
◽
pp. 29-42
2018 ◽
2018 ◽
Keyword(s):
2021 ◽
pp. 543-561
Keyword(s):