| No. |
Title |
Author |
Year |
| 1 |
QBF Programming with the Modeling Language Bule |
Jung, Jean Christoph et al. |
2022 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Lutz, Carsten et al. |
2020 |
| 3 |
LIPIcs, Vol. 155, ICDT 2020, Complete Volume |
Lutz, Carsten et al. |
2020 |
| 4 |
Querying the Unary Negation Fragment with Regular Path Expressions |
Jung, Jean Christoph et al. |
2018 |
| 5 |
Conservative Extensions in Guarded and Two-Variable Fragments |
Jung, Jean Christoph et al. |
2017 |
| 6 |
SWORD -- Module-based SAT Solving |
Wille, Robert et al. |
2010 |
