Comparing different prenexing strategies for quantified boolean formulas / Michael Zolda. 2004
Inhalt