A Machine-Oriented Logic Based on the Resolution Principle (1965)dl.acm.org9 pointsYeGoblynQueenne3 years ago