Definíció: Rezolúciós bizonyítás.
Tétel: Teljességi tétel a rezolúcióra.
Egy nagyon ``mesterségesen inteligens'' link: Egy MIT AI kurzus rezolúcióról szóló előadásának oldalai.
Egy nagyon ``logikus'' könyv rezolúciókról szóló fejezete.
A stanford-i logikai csoport egy kurzusának rezolúcióról szóló előadásjegyzete.