A theory of overloading (2005)

by P J Stuckey, M Sulzmann
Venue:ACM TOPLAS