Type processing by constraint reasoning (2006)

by Peter J Stuckey, Martin Sulzmann, Jeremy Wazny
Venue:In APLAS