Spectral Generalizations of Line Graphs: On Graphs with Least Eigenvalue -2: 314 (London Mathematical Society Lecture Note Series, Series Number 314)
Elements of Logical Reasoning
Complexity Classifications of Boolean Constraint Satisfaction Problems
Burden of Proof, Presumption and Argumentation
