Plaisted, D. (1981): Theorem Proving with Abstraction
Title:
Theorem Proving with Abstraction
Author(s):
Plaisted, D.
Year:
1981
Journal:
Artificial Intelligence
Volume:
16
Pages:
47-108
Concepts