| |
| 2002 | ||
|---|---|---|
| 1 | Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi: An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. J. Autom. Reasoning 28(2): 101-142 (2002) | |
| 1 | Marco Cadoli | [1] |
| 2 | Andrea Giovanardi | [1] |
| 3 | Marco Schaerf | [1] |