- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |