Vol-4227⫷ Vol-4228 ⫸Vol-4229
urn:nbn:de:0074-4228-0


Vol-4228/short3⫷Vol-4228/short2⫸Vol-4228/short4
Friedrich Slivovsky

Multiple Definitions from a Single Resolution Proof (Extended Abstract)