Banshee: A Scalable Constraint-Based Analysis Toolkit.

John Kodumal, Alex Aiken

Browse the full SAS paper archive.