A Circular Proof System for the Hybrid μ-Calculus.

Sebastian Enqvist

Browse the full AiML paper archive.