Flow Analysis, Linearity, and PTIME.

David Van Horn, Harry G. Mairson

Browse the full SAS paper archive.