![](/img/cover-not-exists.png)
The Concept of Demodulation in Theorem Proving
Wos, Lawrence, Robinson, George A., Carson, Daniel F., Shalla, LeonVolume:
14
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/321420.321429
Date:
October, 1967
File:
PDF, 789 KB
english, 1967