Automated deduction - CADE-12 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 ; proceedings (Springer, 1994)