Bonacina. (2013). Automated Reasoning and Mathematics (1.). Springer Berlin Heidelberg.
Lua i Stíl Chicago (17ú heag.)Bonacina. Automated Reasoning and Mathematics. 1. Springer Berlin Heidelberg, 2013.
Lua MLA (8ú heag.)Bonacina. Automated Reasoning and Mathematics. 1. Springer Berlin Heidelberg, 2013.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.