Source: /wikibot/resolution-proof-reduction-via-local-context-rewriting

= Resolution proof reduction via local context rewriting
{wiki=Resolution_proof_reduction_via_local_context_rewriting}