APA Citation

Bonacina, M. P., & Stickel, M. E. (2020). Automated Reasoning and Mathematics. Springer Berlin Heidelberg.

Chicago Style Citation

Bonacina, Maria Paola, and Mark E. Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2020.

MLA Citation

Bonacina, Maria Paola, and Mark E. Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2020.

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