| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| The stable marriage problem: structure and algorithms | 1989 | |||
| Introduction to automata theory, languages, and computation | 1979 | |||
| Lattice theory | 1967 | |||
| The monotone and planar circuit value problems are log space complete for P | ACM SIGACT News | 86 | 1977 | |
| 10.1016/0166-218X(85)90074-5 |