A reduction method for theorem proving based on the partial-instantiation technique
| Year of publication: |
1998
|
|---|---|
| Authors: | Yamamoto, Masahito ; Ohuchi, Azuma |
| Published in: |
Decision support systems : DSS ; the international journal. - Amsterdam [u.a.] : Elsevier, ISSN 0167-9236, ZDB-ID 516545. - Vol. 23.1998, 2, p. 189
|