Data-Flow Analysis for Constraint Logic-Based Languages

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.8K citations · Full text

Circuit Complexity, Computational Logic, Logic Synthesis +15

Maintaining knowledge about temporal intervals

James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text

Engineering, Temporal Intervals Author, Data Science +13

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.1K citations

Programming Language Theory, Actual Computations, Declarative Programming +10

Consistency in networks of relations

Alan K. Mackworth · Artificial Intelligence · 1977 · 2.4K citations

Network Science, Graph Theory, Engineering +7

A Course in Universal Algebra.

Andreas Blass, Stanley Burris, Hanamantagouda P. Sankappanavar · American Mathematical Monthly · 1984 · 1.9K citations

Abstract Algebra, Universal Algebra, Representation Theory +1