Vol-1634⫷ Vol-1635 ⫸Vol-1636
urn:nbn:de:0074-1635-0


Vol-1635/paper-10⫷Vol-1635/paper-11
Christoph Wernhard

The PIE Environment for First-Order-Based Proving, Interpolating and Eliminating