J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs

First Page		Document Content
Date: 2016-02-16 13:27:37		J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs Add to Reading List Source URL: www.georg.weissenbacher.science Download Document from Source Website File Size: 1,03 MB Share Document on Facebook