The Role of Extensible Deductive Systems in Mathematical Reasoning.

Frank M. Brown

Browse the full ECAI paper archive.