This page has moved to https://dlshriver.com/assets/files/publications/ICSE21-DNNF.pdf