Automating the search for elegant proofs

Cached

Download Links

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