Lemma Management Techniques
for Automated Theorem Proving

by
Yuan Zhang
Department of Computer Science
University of Miami
USA
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA

Abstract