Author: Symposium on Automatic Demonstration, Versailles, 1968 Laudet, M.,