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