Vol-2161⫷ Vol-2162 ⫸Vol-2163
urn:nbn:de:0074-2162-0


Vol-2162/paper-04⫷Vol-2162/paper-05⫸Vol-2162/paper-06
Jens Otten

Proof Search Optimizations for Non-Clausal Connection Calculi