Loengu materjal õpikutes: [AIMA] 7.1-7.5; [TI] 7 (mingil määral)
Loenguslaidid: PDF
Solver http://logictools.org