Analysis of Logics with Arithmetic.

Michael Benedikt, Chia-Hsuan Lu, Tony Tan

Browse the full CSL paper archive.