Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings - Ganzinger, Harald; Ganzinger, Harald (Springer Berlin Heidelberg : Imprint: Springer, 1999)