Shift-reset semantics in paper done. Added memo tables to cfa2 and pdcfa semantics.