![](/img/cover-not-exists.png)
Refutational theorem proving for hierarchic first-order theories
Leo Bachmair, Harald Ganzinger, Uwe WaldmannVolume:
5
Year:
1994
Language:
english
Pages:
20
Journal:
Applicable Algebra in Engineering, Communication and Computing
DOI:
10.1007/bf01190829
File:
PDF, 1.20 MB
english, 1994