| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2012 | J | jnl |
Synth.
|
| 2012 | J | jnl |
Synth.
|
| 2012 | J | jnl |
Synth.
|
| 2012 | J | jnl |
Synth.
|
| 1969 | J | jnl |
Notre Dame J. Formal Log.
|
| 1969 | J | jnl |
Notre Dame J. Formal Log.
|
| 1969 | J | jnl |
Notre Dame J. Formal Log.
|
| 1968 | J | jnl |
Notre Dame J. Formal Log.
|
| 1965 | J | jnl |
Notre Dame J. Formal Log.
|
| 1964 | J | jnl |
Notre Dame J. Formal Log.
|
| 1964 | J | jnl |
Notre Dame J. Formal Log.
|
| 1964 | J | jnl |
J. Symb. Log.
|
| 1963 | J | jnl |
Notre Dame J. Formal Log.
|
| 1962 | J | jnl |
Notre Dame J. Formal Log.
|
| 1961 | J | jnl |
Notre Dame J. Formal Log.
|
| 1958 | J | jnl |
J. Symb. Log.
|
| 1958 | J | jnl |
J. Symb. Log.
|
| 1956 | J | jnl |
J. Symb. Log.
|
| 1953 | J | jnl |
J. Symb. Log.
|