Type processing by constraint reasoning (2006)

by P J Stuckey, M Sulzmann, J Wazny
Venue:In APLAS