Klaus Ambos-Spies, Arnold Beckmann, Erzsebet Csuhaj-Varju, Benedikt Löwe
special issue of the journal Journal of Logic and Computation, Volume 23, Number 4
Publication year: 2013