Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)
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
