Vol-1355⫷ Vol-1356 ⫸Vol-1357
urn:nbn:de:0074-1356-0


None⫷None⫸None
Alexander V. Lyaletski

C-Clause Calculi and Refutation Search in First-Order Classical Logic