@Article{AgrThi00, author = "Agrawal, Manindra and Thierauf, Thomas", title = "The Formula Isomorphism Problem", journal = "SIAM Journal on Computing", volume = "30", number = "3", pages = "990-1009", year = "2000", }