Propositional calculus

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science)

Toby Walsh, Fahiem Bacchus

SAT 2005: Satisfiability Research in the Year 2005

Enrico Giunchiglia, Toby Walsh

A Teaching Companion to Lemmon's Beginning Logic

George F. Schumm

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)

Armin Biere

Inference rules for unsatisfiability

by David A. Plaisted.

Satisfiability problem: theory and applications : DIMACS workshop, March 11-13, 1996

Dingzhu Du, Jun Gu, Panos M. Pardalos, editors.

Propositional and Predicate Calculus: A Model of Argument

Derek Goldrei

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science)

SAT 2007 (2007 Lisbon, Portugal)

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science)

Enrico Giunchiglia

Classical propositional operators: an exercise in the foundations of logic

by Krister Segerberg.