Transitive closure and the mechanization of mathematics (2003)

by A Avron
Venue:Thirty Five Years of Automating Mathematics