overloading is dexptime-complete (1994)

by H Seidl, Haskell
Venue:Information Processing Letters 52