For access to Alice please go to: http://alice.cmp.uea.ac.uk/AiM