(2009). Handbook of practical logic and automated reasoning / John Harrison.
Lua i Stíl Chicago (17ú heag.)Handbook of Practical Logic and Automated Reasoning / John Harrison. 2009.
Lua MLA (9ú heag.)Handbook of Practical Logic and Automated Reasoning / John Harrison. 2009.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.