A theory of overloading (0)

by P J Stuckey, M Sulzmann
Venue:ACM TOPLAS