@inproceedings{IntroHERA06,
  author = {Andy Gill},
  title = {Introducing the {H}askell {E}quational {R}easoning {A}ssistant},
  booktitle = {Proceedings of the 2006 ACM SIGPLAN {W}orkshop on Haskell},
  year = {2006},
  pages = {108--109},
  isbn = {1-59593-489-8},
  location = {Portland, Oregon, USA},
  publisher = {ACM Press},
  abstract = {We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and an API for scripting non-trivial rewrites.},
  what = {Invited Demo}
}