Transitive closure and the mechanization of mathematics (2003)

by A Avron
Venue:Thirty-five Years of Automating Mathematics