Backward Reasoning in Systems with Cut.

Elmar Eder

Browse the full AISC paper archive.