BibTeX

@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",
}