Artificial Intelligence · 1990 · 132 citations · 45 references
45
Semantics of context-free languages
Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text