A theory of overloading (2005)

by P Stuckey, M Sulzmann
Venue:Transactions on Programming Languages and Systems