NPTEL Video Course : Logic for CS

Lecture 30 - More on Resolution in FOL