| Autor(en) | Benz, Anton & Fabienne Salfner |
| Erscheinungsdatum | 2011 |
| Titel des Sammelwerkes | Logic, Language, and Computation. 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 2009, Revisied Selected Papers (Lecture Notes in Artificial Intelligence) 6618 |
| Herausgeber | Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe & Luca Spada (eds.) |
| Seiten | 182-196 |
| Verlag | Springer |
| Ort | Heidelberg |
| Verlagsseite | |
| Final draft | |
| 10.1007/978-3-642-22303-7_12 | |
| Peer-reviewed |