- CSB - MetaPress - Google - Bing - Yahoo
 | 1995 | |
|---|---|---|
| 3 |      | Hans Kleine Büning, Marek Karpinski, Andreas Flögel: Resolution for Quantified Boolean Formulas Inf. Comput. 117(1): 12-18 (1995) |
| 1993 | ||
| 2 | | Andreas Flögel, Hans Kleine Büning, Theodor Lettmann: On the Restricted Equivalence Subclasses of Propositional Logic. ITA 27(4): 327-340 (1993) |
| 1990 | ||
| 1 |  | Andreas Flögel, Marek Karpinski, Hans Kleine Büning: Subclasses of Quantified Boolean Formulas. CSL 1990: 145-155 |
| 1 | Hans Kleine Büning | [1] [2] [3] |
| 2 | Marek Karpinski | [1] [3] |
| 3 | Theodor Lettmann | [2] |