Proof Theory and Ordered Groups.

Almudena Colacito, George Metcalfe

Browse the full WoLLIC paper archive.