Vol-4240⫷ Vol-4241 ⫸Vol-4242
urn:nbn:de:0074-4241-0


Vol-4241/paper3⫷Vol-4241/paper4⫸Vol-4241/paper5
Xiaoshuang YangMalvin GattingerMarianna GirlandoPatrick Koopmann

GenZ: A Generic Sequent Calculus Prover using the Zipper