![](https://www.pdfsearch.io/img/65fc5dcc4a62b73826224343790355fd.jpg) Date: 2016-02-16 13:27:37
| | J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local ProofsAdd to Reading ListSource URL: www.georg.weissenbacher.scienceDownload Document from Source Website File Size: 1,03 MBShare Document on Facebook
|