| |
| 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] |