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