Symposium on automatic demostration - Laudet, M. (Springer, 1964)