Short proofs of the pigeonhole formulas based on the connection method W. Bibel OriginalPaper Pages: 287 - 297
Interweaving knowledge extracting, organizing and evaluating: A concrete design for preventing logic and structure bugs while interviewing experts Joseph S. Di Piazza OriginalPaper Pages: 299 - 317
Equivalence of propositional Prolog programs Hans Kleine BüningUlrich LöwenStefan Schmitgen OriginalPaper Pages: 319 - 335
The problem of finding a semantic strategy for focusing inference rules Larry Wos Basic Research Problems Pages: 337 - 339