1. Quine, W. V. O., Set Theory and its Logic, revised edition 1969, Oxford University Press, London, Library of Congress Catalogue Card No. 68-14271.
2. Brown, F. M., Doing arithmetic without diagrams, DAI Research Report No. 16a, To appear in Artificial Intelligence.
3. Splitting and reduction heuristics in automatic theorem proving;Bledsoe;Artificial Intelligence,1971
4. Computer proofs of limit theorems;Bledsoe;Artificial Intelligence,1972