Automating the Search for Elegant Proofs (1997)

Cached

Download Links

by Larry Wos
Venue:J. Automated Reasoning
Citations:8 - 5 self