| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, ... Notes in Computer Science, Band 11714) | 978-3-030-29025-2 (3-030-29025-5) | 2019 | Andrei Popescu |
| Logique pour l'informatique: introduction à la déduction automatique: Cours et exercices, Licence d'informatique | 978-2-7117-2069-9 (2-7117-2069-1) | 2008 | |