@thesis{Newman2007, author = "Newman, Andrew", title = "An Implementation of Temporalised Defeasible Logic", year = 2007, type = "Honours", school = "School of Information Technology and Electrical Engineering, The University of Queensland" }