Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

Prolegomena to a theory of mechanized formal reasoning

Richard W. Weyhrauch · Artificial Intelligence · 1980 · 404 citations

Computing, Computer Science, Formal Methods +11

Algebraic simplification

Joel Moses · Communications of the ACM · 1971 · 138 citations · Full text

Natural Sciences, Computer Science, Algebra +8

Meta-level knowledge: overview and applications

Randall Davis, Bruce C. Buchanan · International Joint Conference on Artificial Intelligence · 1977 · 123 citations

Management, Computer Science, Knowledge Management +14

The MACSYMA system

William A. Martin, Richard J. Fateman · 1971 · 118 citations

Natural Sciences, Computer Science, Mathematics +13