| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1991 | — | conf |
Computational Logic - Essays in Honor of Alan Robinson
|
| 1990 | J | jnl |
J. Log. Program.
|
| 1989 | — | conf |
NACLP
|
| 1989 | J | jnl |
J. Log. Program.
|
| 1987 | J | jnl |
Image Vis. Comput.
|
| 1986 | A* | conf |
AAAI
|
| 1986 | — | conf |
SLP
|
| 1985 | — | conf |
SIGSMALL
|
| 1983 | Misc | conf |
SIGUCCS
|
| 1983 | J | jnl |
Computer
|
| 1983 | B | conf |
Logic Programming Workshop
|
| 1983 | B | conf |
Logic Programming Workshop
|
| 1972 | J | jnl |
Comput. J.
|
| 1965 | J | jnl |
Comput. J.
|