The KRIPKE Automated Theorem Proving System. - Paul B. Thistlewaite; Michael A. McRobbie; Robert K. Meyer (CADE, 1986)

Automated theorem-proving in non-classical logics. - Paul B. Thistlewaite; Michael A. McRobbie; Robert K. Meyer (Pitman, 1988)

Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. - Michael A. McRobbie; Robert K. Meyer; Paul B. Thistlewaite (CADE, 1988)

Approaching Hard Non-Classical Problems. - Paul B. Thistlewaite; Michael A. McRobbie (J. Autom. Reason., 1991)

Searching For Meaning With The Help Of A PADRE. - David Hawking; Paul B. Thistlewaite (TREC, 1994)

Proximity Operators - So Near And Yet So Far. - David Hawking; Paul B. Thistlewaite (TREC, 1995)

ANU/ACSys TREC-5 Experiments. - David Hawking; Paul B. Thistlewaite; Peter Bailey (TREC, 1996)

Active FORMs. - Paul B. Thistlewaite; Steve Ball (Comput. Networks, 1996)

Overview of TREC-6 Very Large Collection Track. - David Hawking; Paul B. Thistlewaite (TREC, 1997)

ANU/ACSys TREC-6 Experiments. - David Hawking; Paul B. Thistlewaite; Nick Craswell (TREC, 1997)

Automatic Construction and Management of Large Open Webs. - Paul B. Thistlewaite (Inf. Process. Manag., 1997)

Overview of TREC-7 Very Large Collection Track. - David Hawking; Nick Craswell; Paul B. Thistlewaite (TREC, 1998)

ACSys TREC-7 Experiments. - David Hawking; Nick Craswell; Paul B. Thistlewaite (TREC, 1998)

Merging Results From Isolated Search Engines. - Nick Craswell; David Hawking; Paul B. Thistlewaite (Australasian Database Conference, 1999)

Results and Challenges in Web Search Evaluation. - David Hawking; Nick Craswell; Paul B. Thistlewaite; Donna Harman (Comput. Networks, 1999)

Scaling Up the TREC Collection. - David Hawking; Paul B. Thistlewaite; Donna Harman (Inf. Retr., 1999)

Methods for Information Server Selection. - David Hawking; Paul B. Thistlewaite (ACM Trans. Inf. Syst., 1999)