Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings - Harald Ganzinger ((Lecture Notes in Computer Science))