Bruno Buchberger,
"Focus Windows: A New Approach to Presenting Mathematical Proofs (In Automated Proving Systems)."
, in SFB (Special Research Area) Scientific Computing, Johannes Kepler University, Linz, Austria, Serie SFB F013 Reports, Nummer 2003-22, 2003
Original Titel:
Focus Windows: A New Approach to Presenting Mathematical Proofs (In Automated Proving Systems).