J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs - Interpolation - Document - PDFSEARCH.IO

First Page	Meta Content
	J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs Add to Reading List Document Date: 2016-02-16 13:27:37 Open Document File Size: 1,03 MB Share Result on Facebook

J Autom Reasoning DOIs10817Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local ProofsAdd to Reading List