Efficiency and Completeness of the Set of Support Strategy in Theorem Provingby Lawrence Wos; George A. Robinson; Daniel F. Carson
Review by: David LuckhamVolume:
32
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2271268
Date:
March, 1967
File:
PDF, 351 KB
english, 1967