![](https://www.pdfsearch.io/img/ca845eee2e8b4d471c8950070f305dc7.jpg) Date: 2012-06-29 16:01:10
| | Verified Heap Theorem Prover by Paramodulation Gordon Stewart Lennart Beringer Andrew W. AppelAdd to Reading ListSource URL: oucsace.cs.ohiou.eduDownload Document from Source Website File Size: 545,88 KBShare Document on Facebook
|