Special relations in automated deduction
2005 ◽
pp. 413-423
2002 ◽
Vol 17
(9)
◽
pp. 887-924
◽
Keyword(s):
1992 ◽
Vol 27
(1)
◽
pp. 127-147
◽
1978 ◽
Vol 17
(3-4)
◽
pp. 739-757
◽
Keyword(s):