| Author(s) | Benz, Anton |
| Date of publication | 2009 |
| Compilation title | Logic, language, and computation: 7th international Tbilisi symposium on logic, language, and computation, (Lectures Notes in Artificial Intelligence 5422) |
| Editor(s) | Peter Bosch, David Gabelaia & Jérôme Lang (eds.) |
| Pages | 95-109 |
| Publisher | Springer |
| Place | Berlin |