On the Expressiveness of Bchi Arithmetic.

Christoph Haase, Jakub Rzycki

Browse the full FOSSACS paper archive.