![](https://www.pdfsearch.io/img/de005f61386025ff18d85c80baf3145e.jpg) Date: 2016-04-02 04:08:34
| | Removing Unnecessary Variables from Horn Clause Verification Conditions Emanuele De Angelis∗ and Fabio Fioravanti∗ Alberto Pettorossi∗Add to Reading ListSource URL: hcvs2016.it.uu.seDownload Document from Source Website File Size: 161,80 KBShare Document on Facebook
|