A unification-theoretic method for investigating the k-provability problem☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This paper has been supported in part by the MITRE Corporation under the MITRE-Sponsored Research Program.
Copyright © 1991 Published by Elsevier B.V.