https://www.sri.com/publication/artificial-intelligence-pubs/a-production-system-for-automatic-deduction/
The system combines developments in AI and Automatic Theorem Proving research including the use of domain-specific inference rules and separate mechanisms for...
production systemautomaticdeductionsri