How can we prove that a proof search method is not an instance of another?
2001 ◽
Vol 11
(1)
◽
pp. 21-45
◽
Keyword(s):
1990 ◽
pp. 327-338
◽
2014 ◽
Vol 134
(3)
◽
pp. 466-467
Keyword(s):
2020 ◽
Vol 22
(10)
◽
pp. 4-8
Keyword(s):
2015 ◽
Vol 1
(4)
◽
pp. 398
Keyword(s):
2017 ◽
Vol 27
(03)
◽
pp. 343-372
◽