![](https://www.pdfsearch.io/img/056d6b948147e0b13791e6c7c4ab9000.jpg) Date: 2016-08-30 03:42:56
| | AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology Add to Reading ListSource URL: itp2016.inria.frDownload Document from Source Website File Size: 393,35 KBShare Document on Facebook
|