Helmut Seidl Haskell Overloading is DEXPTIME-Complete. 57-60 1994 52 Inf. Process. Lett. 2 db/journals/ipl/ipl52.html#Seidl94