Proof Representations in Theorem Provers (1998)

Cached

Download Links

by Geoffrey Norman Watson
Citations:4 - 0 self