Wand, D. (2014). Polymorphic+Typeclass Superposition. In 4th Workshop on Practical Aspects of Automated Reasoning.