Producing Explanations for Rich Logics.

Simon Busard, Charles Pecheur

Browse the full FM paper archive.