Regaining cut admissibility in deduction modulo using abstract completion
2010 ◽
Vol 208
(2)
◽
pp. 140-164
◽
Keyword(s):
1995 ◽
Vol 5
(1)
◽
pp. 9-40
◽
2004 ◽
pp. 445-459
◽
2010 ◽
pp. 233-252
◽
2018 ◽
2007 ◽
pp. 496-511
◽
Keyword(s):