APA (7th ed.) Citation

Zhang, H. (1996). Automated Mathematical Induction. Springer Netherlands.

Chicago Style (17th ed.) Citation

Zhang, H. Automated Mathematical Induction. Dordrecht: Springer Netherlands, 1996.

MLA (9th ed.) Citation

Zhang, H. Automated Mathematical Induction. Springer Netherlands, 1996.

Warning: These citations may not always be 100% accurate.