Lua APA (7ú heag.)

(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.