| Author(s) | Benz, Anton & Fabienne Salfner |
| Date of publication | 2013 |
| Compilation title | Logic, Language, and Computation. 9th international Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, LNCS 7758 |
| Editor(s) | Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra & Frank Richter (eds.) |
| Pages | 35-50 |
| Publisher | Springer |
| Place | Berlin |
| Publisher website | |
| Final draft | |
| 10.1007/978-3-642-36976-6_5 | |
| Peer-reviewed |