Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL
Computing Only Minimal Answers in Disjunctive Deductive Databases
Backdoor Sets of Quantified Boolean Formulas
First Order Stålmarck