Short Single Axioms for Boolean Algebra William McCuneRobert VeroffLarry Wos OriginalPaper Pages: 1 - 16
Mathematical Programming Embeddings of Logic Vivek S. BorkarVijay ChandruSanjoy K. Mitter OriginalPaper Pages: 91 - 106