| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Proof Theory for Description Logics | 978-1-4471-4OO2-3 (1-4471-4OO2-8) | 2014 |
A. R. · Aleksandr Radunsky · Alexander Rautnig · Alexander Rehding · Alexander Reidinger · Alexander Rudensky · Alexander Rudnick · Alexander Rudnicky