APA-referens

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

Chicago-stil citat

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

MLA-referens

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

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.