Arnold Beckmann, Benedikt Löwe
special issue of the journal Journal of Logic and Computation, Volume 22, Number 2
Publication year: 2012