Memoized Forward Computation of Dynamic Slices. - Wes Masri; Nagi Nahas; Andy Podgurski (ISSRE, 2006)

Small-bias is not enough to hit read-once CNF. - Louay Bazzi; Nagi Nahas (Electron. Colloquium Comput. Complex., 2013)