Hoare, C. (2015). Satisfiability.
Lua i Stíl Chicago (17ú heag.)Hoare, C. Satisfiability. 2015.
Lua MLA (9ú heag.)Hoare, C. Satisfiability. 2015.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.
Lua APA (7ú heag.)