@article{Seidl94Haskell,
  author = {Helmut Seidl},
  title = {Haskell {O}verloading is {DEXPTIME}-{C}omplete},
  journal = {Inf. Process. Lett.},
  year = 1994,
  pages = {57-60},
  volume = {52},
  number = {2},
}