Tree Interpolation in Vampire? R´egis Blanc1 , Ashutosh Gupta2 , Laura Kov´acs3 , and Bernhard Kragl4 1 EPFL

First Page		Document Content
Date: 2016-12-17 11:24:06		Tree Interpolation in Vampire? R´egis Blanc1 , Ashutosh Gupta2 , Laura Kov´acs3 , and Bernhard Kragl4 1 EPFL Add to Reading List Source URL: pub.ist.ac.at Download Document from Source Website File Size: 264,61 KB Share Document on Facebook