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