Automated deduction - CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings. ISBN 3540662227. Published by Springer in 1999. Publication and catalogue information, links to buy online and reader comments.