Finding Shortest Proofs: An Application of Linked Inference Rules Robert Veroff OriginalPaper Pages: 123 - 139
Distributivity in Łℵ0 and Other Sentential Logics Kenneth HarrisBranden Fitelson OriginalPaper Pages: 141 - 156
Solving Open Questions and Other Challenge Problems Using Proof Sketches Robert Veroff OriginalPaper Pages: 157 - 174