Bonacina. (2013). Automated Reasoning and Mathematics (1.). Springer Berlin Heidelberg.
Citação do estilo Chicago (17ª ed.)Bonacina. Automated Reasoning and Mathematics. 1. Springer Berlin Heidelberg, 2013.
Citação MLA (8ª ed.)Bonacina. Automated Reasoning and Mathematics. 1. Springer Berlin Heidelberg, 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.