AI 531: Resolution Theorem Proving in First Order Logic

From Prasad Tadepalli