NPTEL Video Course : Logic for CS

Lecture 29 - Resolution in FOL