Journal of Automated Reasoning (JAR), Volume 42

Volume 42, Number 1, January 2009

• Osman Hasan, Sofiène Tahar:
  Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. 1-33
  Electronic Edition (link) BibTeX
• C. A. Johnson:
  Computing Only Minimal Answers in Disjunctive Deductive Databases. 35-76
  Electronic Edition (link) BibTeX
• Marko Samer, Stefan Szeider:
  Backdoor Sets of Quantified Boolean Formulas. 77-97
  Electronic Edition (link) BibTeX
• Magnus Björk:
  First Order Stålmarck. 99-122
  Electronic Edition (link) BibTeX