| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2006 | Misc | conf |
High Performance Computing Workshop
|
| 1998 | A | conf |
HPDC
|
| 1996 | A | ed. |
CADE
|
| 1995 | B | conf |
TABLEAUX
|
| 1991 | J | jnl |
J. Autom. Reason.
|
| 1991 | J | jnl |
Appl. Artif. Intell.
|
| 1991 | J | jnl |
J. Autom. Reason.
|
| 1988 | J | jnl |
AI Commun.
|
| 1988 | — | book |
Automated theorem-proving in non-classical logics.
|
| 1988 | — | conf |
Australian Joint Conference on Artificial Intelligence
|
| 1988 | A | conf |
CADE
|
| 1986 | A | conf |
CADE
|
| 1979 | J | jnl |
Math. Log. Q.
|