Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL Osman HasanSofiène Tahar OriginalPaper 02 September 2008 Pages: 1 - 33
Computing Only Minimal Answers in Disjunctive Deductive Databases C. A. Johnson OriginalPaper 11 December 2008 Pages: 35 - 76
Backdoor Sets of Quantified Boolean Formulas Marko SamerStefan Szeider OriginalPaper 18 December 2008 Pages: 77 - 97
