International Journal of Approximate Reasoning · 1990 · 90 citations · 15 references
Non-classical LogicEngineeringAutomated ReasoningFormal MethodsFirst-order LogicHigher-order LogicResolution Principles
15
L. A. Zadeh · Information and Control · 1965 · 64.9K citations
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text