Vol-211⫷ Vol-212 ⫸Vol-213
urn:nbn:de:0074-212-0


Vol-212/paper-1⫸Vol-212/paper-2

Algorithms and Data Structures for First-Order Equational Deduction