@string{ACTA = "Acta Informatica"} @Article{BP03, author = "Amir M. Ben-Amram and Omer Berkman and Holger Petersen", title = "Element Distinctness on One-Tape Turing Machines" journal = ACTA, volume = "40", number = "2", year = "2003", pages = "81--94" }