Wand, Daniel Automation of Logic, MPI for Informatics, Max Planck Society;
Wand, D. (2014). Polymorphic+Typeclass Superposition. In 4th Workshop on Practical Aspects of Automated Reasoning.