| Autor(en) | Benz, Anton |
| Erscheinungsdatum | 2009 |
| Titel des Sammelwerkes | Logic, language, and computation: 7th international Tbilisi symposium on logic, language, and computation, (Lectures Notes in Artificial Intelligence 5422) |
| Herausgeber | Peter Bosch, David Gabelaia & Jérôme Lang (eds.) |
| Seiten | 95-109 |
| Verlag | Springer |
| Ort | Berlin |