Vol-877⫷ Vol-878 ⫸Vol-879
urn:nbn:de:0074-878-0


None⫷None⫸None
Martin RienerDaniel Weller 0001Bruno Woltzenlogel PaleoTomer LibalAlexander LeitschTsvetan DunchevMikheil Rukhaia

System Feature Description: Importing Refutations into the GAPT Framework