"Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs."

Anika Schumann, Martin Sachenbacher, Jinbo Huang (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics