Login / Signup

Superdeduction at Work.

Paul Brauner Clément Houtmann Claude Kirchner

Published in: Rewriting, Computation and Proof (2007)

Keyphrases