Hoare, C. (2015). Satisfiability.
Chicago-čujuhus (17. p.)Hoare, C. Satisfiability. 2015.
MLA-čujuhus (9. p.)Hoare, C. Satisfiability. 2015.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.
APA-čujuhus (7. p.)