Proof Tree Preserving Tree Interpolation
Crossref DOI link: https://doi.org/10.1007/s10817-016-9365-5
Published Online: 2016-03-02
Published Print: 2016-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Christ, Jürgen
Hoenicke, Jochen http://orcid.org/0000-0002-6314-1041
Funding for this research was provided by:
Deutsche Forschungsgemeinschaft (SFB/TR14 AVACS)
Text and Data Mining valid from 2016-03-02