Vol-2907⫷ Vol-2908 ⫸Vol-2909
urn:nbn:de:0074-2908-0


Vol-2908/invited2⫷Vol-2908/short12⫸Vol-2908/short6
Elisabeth HenkelJochen HoenickeTanja Schindler

Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality