Claude Kirchner · 3 obras en el catálogoObrasRRewriting, Computation and ProofRewriting, Computation and ProofFFormal to Practical SecurityFormal to Practical SecurityUnification