Focus Windows: A New Technique for Proof Presentation.

Florina Piroi, Bruno Buchberger

Browse the full AISC paper archive.