Combining Hilbert style and semantic reasoning in a resolution framework
1998 ◽
pp. 205-219
◽
Keyword(s):