Rutgers University, Department of Computer Science Technical Report 643; Piscataway, New Jersey, November 2008.
This technical report is superseded by our identically-titled SACMAT 2009 paper and is only provided here for reference. Please read the SACMAT 2009 paper instead.
Technical report: [ PDF | Postscript ]