Theorem-proving with resolution and superposition*
Under an Elsevier user license
open archive
Cited by (0)
- *
A preliminary version of the results in this paper has been presented at the International Conference on Fifth Generation Computer Systems (Tokyo 1988).
Copyright © 1991 Published by Elsevier Ltd.