Boolean constraints for binding-time analysis (2001)

by Kevin Glynn, Peter J Stuckey, Martin Sulzmann, Harald Sondergaard
Venue:In Programs as Data Objects (PADO II