2 ms·A Machine-Oriented Logic Based on the Resolution Principle (1965)9 points by YeGoblynQueenne 4y ago