Vol-1810⫷ Vol-1811 ⫸Vol-1812
urn:nbn:de:0074-1811-0


Vol-1811/paper7⫷Vol-1811/paper8⫸Vol-1811/paper9

Reasoning with Generics and Induction