| Autor(en) | Benz, Anton & Fabienne Salfner |
| Erscheinungsdatum | 2013 |
| Titel des Sammelwerkes | Logic, Language, and Computation. 9th international Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, LNCS 7758 |
| Herausgeber | Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra & Frank Richter (eds.) |
| Seiten | 35-50 |
| Verlag | Springer |
| Ort | Berlin |
| Verlagsseite | |
| Final draft | |
| 10.1007/978-3-642-36976-6_5 | |
| Peer-reviewed |