Management and Analysis of ATP System Proofs

by
Geoff Sutcliffe
Department of Computer Science
University of Miami, USA
geoff[@]cs.miami.edu
The ARTists
Department of Computer Science
University of Miami, USA

Abstract