Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav. Instantiations, Zippers and EPR Interpolation. In Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov, editors, LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. Volume 26 of EPiC Series, pages 35-41, EasyChair, 2013. [doi]
Abstract is missing.