Changming Sun, Richard Beare, Volker Hilsenstein, Paul T. Jackway
Browse the full DICTA paper archive.