A Forward Analysis for Recurrent Sets.

Alexey Bakhirkin, Josh Berdine, Nir Piterman

Browse the full SAS paper archive.