The NU-Prolog Deductive Database System. - Kotagiri Ramamohanarao; John Shepherd 001; Isaac Balbin; Graeme S. Port; Lee Naish; James A. Thom; Justin Zobel; Philip W. Dart (IEEE Data Eng. Bull., 1987)

The NU-Prolog Deductive Database System. - Kotagiri Ramamohanarao; John Shepherd 001; Isaac Balbin; Graeme S. Port; Lee Naish; James A. Thom; Justin Zobel; Philip W. Dart (Prolog and Databases, 1988)

Conceptual schemas applied to deductive databases. - Philip W. Dart; Justin Zobel (Inf. Syst., 1988)

The NU-Prolog Debugging Environment. - Lee Naish; Philip W. Dart; Justin Zobel (ICLP, 1989)

A Characterization of Non-Floundering Logic Programs. - Kim Marriott; Harald Søndergaard; Philip W. Dart (NACLP, 1990)

On Derived Dependencies and Connected Databases. - Philip W. Dart (J. Log. Program., 1991)

A Regular Type Language for Logic Programs. - Philip W. Dart; Justin Zobel (Types in Logic Programming, 1992)

Efficient Run-Time Type Checking of Typed Logic Programs. - Philip W. Dart; Justin Zobel (J. Log. Program., 1992)

Development of an expert assistant for software evaluation using a hybrid approach. - Gina Kingston; Rudi Vernik; Philip W. Dart (KBSE, 1993)

Building on Experience: An Undegraduate Course with Two Year-Long Projects. - Lorraine Johnston; Philip W. Dart (CSEE, 1994)

Finding Approximate Matches in Large Lexicons. - Justin Zobel; Philip W. Dart (Softw. Pract. Exp., 1995)

Enhancing Project-Based Learning: Variations on Mentoring. - Philip W. Dart; Lorraine Johnston; Cameron Schmidt (Australian Software Engineering Conference, 1996)

Analysis of Software System Requirements Models. - Elizabeth Haywood; Philip W. Dart (Australian Software Engineering Conference, 1996)

Phonetic String Matching: Lessons from Information Retrieval. - Justin Zobel; Philip W. Dart (SIGIR, 1996)

Developing an Accredited Software Engineering Program. - Philip W. Dart; Lorraine Johnston; Cameron Schmidt; Liz Sonenberg (IEEE Softw., 1997)

Verifying Model Oriented Specifications through Animation. - Edmund Kazmierczak; Michael Winikoff; Philip W. Dart (APSEC, 1998)

Detecting and Resolving Temporal Ambiguities in User Interface Specifications. - Paul Chesson; Lorraine Johnston; Philip W. Dart (BCS HCI, 1998)

Outsourcing for software applications development: issues, implications and impact. - Rasha Abbas; Philip W. Dart; Fergus O'Brien; Edmund Kazmierczak (ECIS, 1998)

Towards a Framwork and Procedure for Specifying User Interfaces. - Paul Chesson; Lorraine Johnston; Philip W. Dart (EHCI, 1998)

Disincentives for communicating risk: a risk paradox. - Cameron Schmidt; Philip W. Dart; Lorraine Johnston; Leon Sterling; Peter Thorne (Inf. Softw. Technol., 1999)

Towards the Software Engineering of Neural Networks: A Maturity Model. - Anthony Senyard; Philip W. Dart; Leon Sterling (Australian Software Engineering Conference, 2000)

Partitioning Number Sequences into Optimal Subsequences. - Justin Zobel; Philip W. Dart (J. Res. Pract. Inf. Technol., 2000)

Verifying Requirements Through Mathematical Modelling and Animation. - Edmund Kazmierczak; Philip W. Dart; Leon Sterling; Michael Winikoff (Int. J. Softw. Eng. Knowl. Eng., 2000)