New Directions in Instantiation-Based Theorem Proving
Cached
Download Links
- [www.mpi-sb.mpg.de]
- [www.cs.man.ac.uk]
- [www.mpi-sb.mpg.de]
- DBLP
Other Repositories/Bibliography
by
Harald Ganzinger
,
Konstantin Korovin
| Citations: | 25 - 2 self |







